[MLton-devel] FreeBSD MLton package

[Stephen Weeks]

> Certain MASTER_SITES are defined in advance if they are common enough.
> The clever thing about this is you are able to specify the naerest one
> in /etc/make.conf
...

OK.  I made the following change.

> -MASTER_SITES=	http://prdownloads.sourceforge.net/mlton/
> +MASTER_SITES=	${MASTER_SITE_SOURCEFORGE}

> Is the man pages compressed or not?

Whoops.  They're not.  Fixed.

> What does pkg-plist do? Normally you just run make install followed by
> make plist (as far as I remember. The porters handbook has the correct
> prcedure:
> http://www.freebsdørg/doc/en_US.ISO8859-1/books/porters-handbook/)

As far as I can tell from the porters handbook and from bsd.port.mk, there is no
plist target that will automatically generate the plist.  If pkg-plist is not
around when running 'make package', then the makefile complains.  So, I tried to
follow the recommedations at

	http://www.freebsd.org/doc/en_US.ISO8859-1/books/porters-handbook/porting-autoplist.html

for creating the pkg-plist, and have summarized my efforts in freebsd/Makefile.

I've also added a new "freebsd" target to the main MLton makefile.  I
use this target to build the packages.

> I might be intested in maintaining it in the freebsd ports tree.

I uploaded 

	mlton-20021018-1.i386-freebsd.tgz
	mlton-20021018-1.src.tgz

to the MLton release page

	http://sourceforge.net/project/showfiles.php?group_id=50419

If these look OK to you and you would like to submit/maintain the
FreeBSD port, please do so and let us know.  Else, I'll start the
submission process myself.


-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel