diff options
| -rw-r--r-- | lang/moscow_ml/Makefile | 34 | ||||
| -rw-r--r-- | lang/moscow_ml/distinfo | 1 | ||||
| -rw-r--r-- | lang/moscow_ml/files/patch-aa | 57 | ||||
| -rw-r--r-- | lang/moscow_ml/pkg-comment | 1 | ||||
| -rw-r--r-- | lang/moscow_ml/pkg-descr | 14 | ||||
| -rw-r--r-- | lang/moscow_ml/pkg-plist | 208 |
6 files changed, 315 insertions, 0 deletions
diff --git a/lang/moscow_ml/Makefile b/lang/moscow_ml/Makefile new file mode 100644 index 000000000000..89210c63ff00 --- /dev/null +++ b/lang/moscow_ml/Makefile @@ -0,0 +1,34 @@ +# New ports collection makefile for: moscow-ml +# Version required: 1.4 +# Date created: 26 July 1996 +# Whom: chuckr +# +# $Id +# + +DISTNAME= mos14src +CATEGORIES+= lang +PKGNAME= moscow_ml +MASTER_SITES= ftp://ftp.dina.kvl.dk/pub/mosml/ \ + ftp://ftp.csd.uu.se/pub/mirror/mosml/ \ + ftp://ftp.dcs.ed.ac.uk/pub/ml/Moscow/ +MAINTAINER= chuckr@freefall.FreeBSD.org +ALL_TARGET= world +WRKSRC= ${WRKDIR}/mosml/src + +post-install: +.if !defined(NOPORTDOCS) + mkdir -p ${PREFIX}/${PKGNAME}/doc + mkdir -p ${PREFIX}/${PKGNAME}/examples + for file in ${WRKDIR}/mosml/doc/*;do; \ + install -c -m 0444 -g bin -o bin $${file} ${PREFIX}/${PKGNAME}/doc;done + (cd ${WRKDIR}/mosml/examples; \ + install -c -m 0444 -g bin -o bin README ${PREFIX}/${PKGNAME}/examples; \ + for sdirs in manual mls helpsigs calc pretty lexyacc;do; \ + mkdir -p ${PREFIX}/${PKGNAME}/examples/$${sdirs}; \ + for file in $${sdirs}/*;do; \ + install -c -m 0444 -g bin -o bin $${file} ${PREFIX}/${PKGNAME}/examples/$${sdirs}; \ + done; done;) +.endif + +.include <bsd.port.mk> diff --git a/lang/moscow_ml/distinfo b/lang/moscow_ml/distinfo new file mode 100644 index 000000000000..5d31e44bba17 --- /dev/null +++ b/lang/moscow_ml/distinfo @@ -0,0 +1 @@ +MD5 (mos14src.tar.gz) = 8c1b6cd2ab8476fd7648668c24cb9cf6 diff --git a/lang/moscow_ml/files/patch-aa b/lang/moscow_ml/files/patch-aa new file mode 100644 index 000000000000..b2cd951f01d2 --- /dev/null +++ b/lang/moscow_ml/files/patch-aa @@ -0,0 +1,57 @@ +--- runtime/fail.c.orig Thu Jul 25 15:59:04 1996 ++++ runtime/fail.c Thu Jul 25 16:20:42 1996 +@@ -3,7 +3,7 @@ + #ifdef __MWERKS__ + #define MAXDOUBLE 1.7976931348623157081e+308 + #else +-#include <values.h> ++#include <float.h> + #endif + #include "alloc.h" + #include "fail.h" +@@ -18,7 +18,7 @@ + + volatile unsigned char float_exn = FAILURE_EXN; + +-double maxdouble = MAXDOUBLE/2; ++double maxdouble = DBL_MAX/2; + + struct longjmp_buffer * external_raise; + value exn_bucket; +--- runtime/mosml.c.orig Mon Jul 22 23:22:22 1996 ++++ runtime/mosml.c Mon Jul 22 23:22:49 1996 +@@ -790,7 +790,7 @@ + + #ifndef HAS_STRERROR + extern int sys_nerr; +- extern char * sys_errlist []; ++ extern __const char *__const sys_errlist []; + extern char *realpath(); + char *mktemp(); + #endif +--- Makefile.inc.orig Thu Jul 25 22:36:06 1996 ++++ Makefile.inc Thu Jul 25 19:32:38 1996 +@@ -2,10 +2,11 @@ + + # Edit MOSMLHOME, CPP and STRIP to suit your installation + +-MOSMLHOME=${HOME}/mosml ++MOSMLHOME=${PREFIX}/moscow_ml + + # For Linux and other well-behaved systems, use: +-CPP=/lib/cpp -P -traditional -Dunix -Umsdos ++#CPP=/lib/cpp -P -traditional -Dunix -Umsdos ++CPP=/usr/bin/cpp -P -traditional + STRIP=strip + + # For HP-UX, use instead: +@@ -42,7 +43,7 @@ + # For cross-compiling to MS DOS (from Linux) (development only) + # CPP=/lib/cpp -P -traditional -Uunix -Dmsdos + +-CC=gcc ++CC=cc + + .SUFFIXES : + .SUFFIXES : .sml .sig .ui .uo .mlp .lex .c .o + diff --git a/lang/moscow_ml/pkg-comment b/lang/moscow_ml/pkg-comment new file mode 100644 index 000000000000..0d3fb2654edf --- /dev/null +++ b/lang/moscow_ml/pkg-comment @@ -0,0 +1 @@ +Version 1.40 of Moscow ML, a version of Standard ML diff --git a/lang/moscow_ml/pkg-descr b/lang/moscow_ml/pkg-descr new file mode 100644 index 000000000000..7bc52c6dc117 --- /dev/null +++ b/lang/moscow_ml/pkg-descr @@ -0,0 +1,14 @@ +This is Moscow ML, a version of Standard ML: + +The current version 1.40 of Moscow ML + * implements the Core language of Standard ML, as revised 1996 + * implements large parts of the new SML Basis Library + * implements separate compilation and a limited version of the + Standard ML Modules language, with signatures and structures + but no functors + * can produce compact stand-alone executables (a la Caml Light) + * supports quotations and antiquotations, useful for metaprogramming + * includes several new libraries and a new type `char' + +THE MOSCOW ML HOME PAGE is at http://www.dina.kvl.dk/~sestoft/mosml.html + diff --git a/lang/moscow_ml/pkg-plist b/lang/moscow_ml/pkg-plist new file mode 100644 index 000000000000..fb70075d8e8e --- /dev/null +++ b/lang/moscow_ml/pkg-plist @@ -0,0 +1,208 @@ +moscow_ml/bin/camlrunm +moscow_ml/bin/mosml +moscow_ml/bin/mosmlc +moscow_ml/bin/mosmlyac +moscow_ml/bin/mosmllex +moscow_ml/lib/header +moscow_ml/lib/README +moscow_ml/lib/Array.ui +moscow_ml/lib/Word8Array.ui +moscow_ml/lib/Word8.ui +moscow_ml/lib/Word.ui +moscow_ml/lib/Vector.ui +moscow_ml/lib/Timer.ui +moscow_ml/lib/Time.ui +moscow_ml/lib/TextIO.ui +moscow_ml/lib/Susp.ui +moscow_ml/lib/Substring.ui +moscow_ml/lib/StringCvt.ui +moscow_ml/lib/String.ui +moscow_ml/lib/Strbase.ui +moscow_ml/lib/Splaytree.ui +moscow_ml/lib/Splayset.ui +moscow_ml/lib/Splaymap.ui +moscow_ml/lib/Real.ui +moscow_ml/lib/Random.ui +moscow_ml/lib/Process.ui +moscow_ml/lib/Polyhash.ui +moscow_ml/lib/Path.ui +moscow_ml/lib/Parsing.ui +moscow_ml/lib/PP.ui +moscow_ml/lib/Old.ui +moscow_ml/lib/Obj.ui +moscow_ml/lib/OS.ui +moscow_ml/lib/Nonstdio.ui +moscow_ml/lib/NJ93.ui +moscow_ml/lib/Mosml.ui +moscow_ml/lib/Misc.ui +moscow_ml/lib/Math.ui +moscow_ml/lib/Listsort.ui +moscow_ml/lib/ListPair.ui +moscow_ml/lib/List.ui +moscow_ml/lib/Lexing.ui +moscow_ml/lib/Intset.ui +moscow_ml/lib/Intmap.ui +moscow_ml/lib/Int.ui +moscow_ml/lib/Help.ui +moscow_ml/lib/FileSys.ui +moscow_ml/lib/Dynarray.ui +moscow_ml/lib/Date.ui +moscow_ml/lib/CharVector.ui +moscow_ml/lib/CharArray.ui +moscow_ml/lib/Char.ui +moscow_ml/lib/Byte.ui +moscow_ml/lib/Bool.ui +moscow_ml/lib/Binaryset.ui +moscow_ml/lib/Binarymap.ui +moscow_ml/lib/BinIO.ui +moscow_ml/lib/BasicIO.ui +moscow_ml/lib/Arraysort.ui +moscow_ml/lib/Array2.ui +moscow_ml/lib/Word8Vector.ui +moscow_ml/lib/Array.uo +moscow_ml/lib/Word8Array.uo +moscow_ml/lib/Word8.uo +moscow_ml/lib/Word.uo +moscow_ml/lib/Vector.uo +moscow_ml/lib/Timer.uo +moscow_ml/lib/Time.uo +moscow_ml/lib/TextIO.uo +moscow_ml/lib/Susp.uo +moscow_ml/lib/Substring.uo +moscow_ml/lib/StringCvt.uo +moscow_ml/lib/String.uo +moscow_ml/lib/Strbase.uo +moscow_ml/lib/Splaytree.uo +moscow_ml/lib/Splayset.uo +moscow_ml/lib/Splaymap.uo +moscow_ml/lib/Real.uo +moscow_ml/lib/Random.uo +moscow_ml/lib/Process.uo +moscow_ml/lib/Polyhash.uo +moscow_ml/lib/Path.uo +moscow_ml/lib/Parsing.uo +moscow_ml/lib/PP.uo +moscow_ml/lib/Old.uo +moscow_ml/lib/Obj.uo +moscow_ml/lib/OS.uo +moscow_ml/lib/Nonstdio.uo +moscow_ml/lib/NJ93.uo +moscow_ml/lib/Mosml.uo +moscow_ml/lib/Misc.uo +moscow_ml/lib/Math.uo +moscow_ml/lib/Listsort.uo +moscow_ml/lib/ListPair.uo +moscow_ml/lib/List.uo +moscow_ml/lib/Lexing.uo +moscow_ml/lib/Intset.uo +moscow_ml/lib/Intmap.uo +moscow_ml/lib/Int.uo +moscow_ml/lib/Help.uo +moscow_ml/lib/FileSys.uo +moscow_ml/lib/Dynarray.uo +moscow_ml/lib/Date.uo +moscow_ml/lib/CharVector.uo +moscow_ml/lib/CharArray.uo +moscow_ml/lib/Char.uo +moscow_ml/lib/Byte.uo +moscow_ml/lib/Bool.uo +moscow_ml/lib/Binaryset.uo +moscow_ml/lib/PP.sig +moscow_ml/lib/Binarymap.uo +moscow_ml/lib/BinIO.uo +moscow_ml/lib/BasicIO.uo +moscow_ml/lib/Arraysort.uo +moscow_ml/lib/Array2.uo +moscow_ml/lib/Word8Vector.uo +moscow_ml/lib/Array.sig +moscow_ml/lib/Word8Array.sig +moscow_ml/lib/Word8.sig +moscow_ml/lib/Word.sig +moscow_ml/lib/Vector.sig +moscow_ml/lib/Timer.sig +moscow_ml/lib/Time.sig +moscow_ml/lib/TextIO.sig +moscow_ml/lib/Susp.sig +moscow_ml/lib/Substring.sig +moscow_ml/lib/StringCvt.sig +moscow_ml/lib/String.sig +moscow_ml/lib/Strbase.sig +moscow_ml/lib/Splaytree.sig +moscow_ml/lib/Splayset.sig +moscow_ml/lib/Splaymap.sig +moscow_ml/lib/Real.sig +moscow_ml/lib/Old.sig +moscow_ml/lib/Random.sig +moscow_ml/lib/Process.sig +moscow_ml/lib/Polyhash.sig +moscow_ml/lib/Path.sig +moscow_ml/lib/Parsing.sig +moscow_ml/lib/Nonstdio.sig +moscow_ml/lib/NJ93.sig +moscow_ml/lib/Mosml.sig +moscow_ml/lib/Misc.sig +moscow_ml/lib/Math.sig +moscow_ml/lib/Listsort.sig +moscow_ml/lib/ListPair.sig +moscow_ml/lib/List.sig +moscow_ml/lib/Lexing.sig +moscow_ml/lib/Intset.sig +moscow_ml/lib/Intmap.sig +moscow_ml/lib/Int.sig +moscow_ml/lib/Help.sig +moscow_ml/lib/FileSys.sig +moscow_ml/lib/Dynarray.sig +moscow_ml/lib/Date.sig +moscow_ml/lib/CharVector.sig +moscow_ml/lib/CharArray.sig +moscow_ml/lib/Char.sig +moscow_ml/lib/Byte.sig +moscow_ml/lib/Bool.sig +moscow_ml/lib/Binaryset.sig +moscow_ml/lib/Binarymap.sig +moscow_ml/lib/BinIO.sig +moscow_ml/lib/BasicIO.sig +moscow_ml/lib/Arraysort.sig +moscow_ml/lib/Array2.sig +moscow_ml/lib/Word8Vector.sig +moscow_ml/lib/General.sig +moscow_ml/lib/Meta.sig +moscow_ml/lib/mosmlcmp +moscow_ml/lib/mosmllnk +moscow_ml/lib/mosmltop +moscow_ml/tools/mosmldep +moscow_ml/doc/bugs +moscow_ml/doc/manual.dvi +moscow_ml/doc/mosmlref.dvi +moscow_ml/doc/recomp +moscow_ml/examples/README +moscow_ml/examples/manual/Evaluate.sig +moscow_ml/examples/manual/Evaluate.sml +moscow_ml/examples/manual/Expr.sml +moscow_ml/examples/manual/Makefile +moscow_ml/examples/manual/Reduce.sig +moscow_ml/examples/manual/Reduce.sml +moscow_ml/examples/manual/load +moscow_ml/examples/mls/Makefile +moscow_ml/examples/mls/mls.sml +moscow_ml/examples/helpsigs/Database.sig +moscow_ml/examples/helpsigs/Database.sml +moscow_ml/examples/helpsigs/Lexer.lex +moscow_ml/examples/helpsigs/Makefile +moscow_ml/examples/helpsigs/Parser.grm +moscow_ml/examples/helpsigs/Parsspec.sml +moscow_ml/examples/helpsigs/Printbase.sml +moscow_ml/examples/helpsigs/README +moscow_ml/examples/helpsigs/makebase.sml +moscow_ml/examples/calc/Lexer.lex +moscow_ml/examples/calc/Makefile +moscow_ml/examples/calc/Parser.grm +moscow_ml/examples/calc/calc.sml +moscow_ml/examples/pretty/Makefile +moscow_ml/examples/pretty/ppexpr.sml +moscow_ml/examples/lexyacc/Data.sml +moscow_ml/examples/lexyacc/Lexer.lex +moscow_ml/examples/lexyacc/Lexer.sml +moscow_ml/examples/lexyacc/Makefile +moscow_ml/examples/lexyacc/Parser.grm +moscow_ml/examples/lexyacc/README |