[MLton-devel] FreeBSD MLton package

[jlouis@diku.dk]

On Tue, Oct 01, 2002 at 03:51:46PM -0700, Stephen Weeks wrote:
> 
> Hi guys.  I made a first attempt to create a FreeBSD package for MLton
> that uses the /usr/ports infrastructure.

A quick glance in CVS gave:

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

Is the man pages compressed or not?

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/)

pkg_create(1) contains format for the plist as well. 

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

--- Makefile.orig	Wed Oct  2 01:04:48 2002
+++ Makefile	Wed Oct  2 01:07:24 2002
@@ -8,11 +8,12 @@
 PORTNAME=	mlton
 PORTVERSION=	20021001 
 CATEGORIES= 	lang
-MASTER_SITES=	http://prdownloads.sourceforge.net/mlton/
+MASTER_SITES=	${MASTER_SITE_SOURCEFORGE}
 
 MAINTAINER=	MLton@mlton.org
 MAN1= 		mlton.1 \
 		mlprof.1
+
 MANCOMPRESSED=	yes
 
 BUILD_DEPENDS=	\
@@ -23,13 +24,10 @@
 LIB_DEPENDS=	\
 	gmp.5:$(PORTSDIR)/math/libgmp4				\
 
-RUN_DEPENDS= 	\
-
 ALL_TARGET=	bootstrap
 EXTRACT_SUFX=	-1.src.tgz
 USE_GMAKE= 	yes
 MAKE_ARGS=	DESTDIR='' PREFIX=$(PREFIX)
-MANCOMPRESSED=	no
 
 pre-build:
 	gmake -C $(WRKSRC) version

-- 
Jesper
 An algorithm a day, keeps the bugs away


-------------------------------------------------------
This sf.net email is sponsored by: DEDICATED SERVERS only $89!
Linux or FreeBSD, FREE setup, FAST network. Get your own server 
today at http://www.ServePath.com/indexfm.htm
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel