pkgsrc-Changes archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
CVS commit: pkgsrc/lang/hamlet
Module Name: pkgsrc
Committed By: ryoon
Date: Sat Feb 25 18:01:44 UTC 2023
Added Files:
pkgsrc/lang/hamlet: DESCR Makefile PLIST distinfo
pkgsrc/lang/hamlet/patches: patch-Makefile
Log Message:
lang/hamlet: import hamlet-2.0.0
HaMLet is a faithful and complete implementation of the Standard
ML programming language (SML'97). It aims to be
* an accurate reference implementation of the language specification,
* a platform for experimentation with the language semantics or
extensions to it,
* a useful tool for educational purposes.
The implementation is intended to be as direct a translation of
the language formalisation found in the Definition of Standard ML
as possible, modulo bug fixes. It tries hard to get all details of
the Definition right. The HaMLet source code
* implements complete Standard ML,
* closely follows the structure of the Definition, with lots of
cross references,
* conforms to the latest version of the Standard ML Basis Library,
is written entirely in Standard ML, with the ability to bootstrap,
* may readily be compiled with SML/NJ, MLton, Moscow ML, Poly/ML,
Alice ML, the ML Kit, or SML#.
To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 pkgsrc/lang/hamlet/DESCR pkgsrc/lang/hamlet/Makefile \
pkgsrc/lang/hamlet/PLIST pkgsrc/lang/hamlet/distinfo
cvs rdiff -u -r0 -r1.1 pkgsrc/lang/hamlet/patches/patch-Makefile
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Added files:
Index: pkgsrc/lang/hamlet/DESCR
diff -u /dev/null pkgsrc/lang/hamlet/DESCR:1.1
--- /dev/null Sat Feb 25 18:01:44 2023
+++ pkgsrc/lang/hamlet/DESCR Sat Feb 25 18:01:44 2023
@@ -0,0 +1,20 @@
+HaMLet is a faithful and complete implementation of the Standard
+ML programming language (SML'97). It aims to be
+
+ * an accurate reference implementation of the language specification,
+ * a platform for experimentation with the language semantics or
+ extensions to it,
+ * a useful tool for educational purposes.
+
+The implementation is intended to be as direct a translation of
+the language formalisation found in the Definition of Standard ML
+as possible, modulo bug fixes. It tries hard to get all details of
+the Definition right. The HaMLet source code
+
+ * implements complete Standard ML,
+ * closely follows the structure of the Definition, with lots of
+ cross references,
+ * conforms to the latest version of the Standard ML Basis Library,
+ is written entirely in Standard ML, with the ability to bootstrap,
+ * may readily be compiled with SML/NJ, MLton, Moscow ML, Poly/ML,
+ Alice ML, the ML Kit, or SML#.
Index: pkgsrc/lang/hamlet/Makefile
diff -u /dev/null pkgsrc/lang/hamlet/Makefile:1.1
--- /dev/null Sat Feb 25 18:01:44 2023
+++ pkgsrc/lang/hamlet/Makefile Sat Feb 25 18:01:44 2023
@@ -0,0 +1,29 @@
+# $NetBSD: Makefile,v 1.1 2023/02/25 18:01:44 ryoon Exp $
+
+DISTNAME= hamlet-2.0.0
+CATEGORIES= lang
+MASTER_SITES= https://people.mpi-sws.org/~rossberg/hamlet/
+
+MAINTAINER= ryoon%NetBSD.org@localhost
+HOMEPAGE= https://people.mpi-sws.org/~rossberg/hamlet/
+COMMENT= Faithful and complete implementation of the Standard ML
+LICENSE= hamlet-license
+
+BUILD_DEPENDS+= moscow_ml>=2.10:../../lang/moscow_ml
+
+USE_LANGUAGES= c
+USE_TOOLS+= gmake
+
+BUILD_TARGET= with-mosml
+
+INSTALL_MAKE_FLAGS+= INSTALLDIR=${PREFIX}/hamlet
+
+INSTALLATION_DIRS+= bin
+
+post-install:
+ ${ECHO} '#! /bin/sh' > ${DESTDIR}${PREFIX}/bin/hamlet
+ ${ECHO} '${PREFIX}/hamlet/hamlet "$$@"' >> \
+ ${DESTDIR}${PREFIX}/bin/hamlet
+ ${CHMOD} 755 ${DESTDIR}${PREFIX}/bin/hamlet
+
+.include "../../mk/bsd.pkg.mk"
Index: pkgsrc/lang/hamlet/PLIST
diff -u /dev/null pkgsrc/lang/hamlet/PLIST:1.1
--- /dev/null Sat Feb 25 18:01:44 2023
+++ pkgsrc/lang/hamlet/PLIST Sat Feb 25 18:01:44 2023
@@ -0,0 +1,82 @@
+@comment $NetBSD: PLIST,v 1.1 2023/02/25 18:01:44 ryoon Exp $
+bin/hamlet
+hamlet/basis/ARRAY-sig.sml
+hamlet/basis/ARRAY_SLICE-sig.sml
+hamlet/basis/Array.sml
+hamlet/basis/ArraySlice.sml
+hamlet/basis/BOOL-sig.sml
+hamlet/basis/BYTE-sig.sml
+hamlet/basis/Bool.sml
+hamlet/basis/Byte.sml
+hamlet/basis/CHAR-sig.sml
+hamlet/basis/COMMAND_LINE-sig.sml
+hamlet/basis/Char.sml
+hamlet/basis/CharArray.sml
+hamlet/basis/CharArraySlice.sml
+hamlet/basis/CharVector.sml
+hamlet/basis/CharVectorSlice.sml
+hamlet/basis/CommandLine.sml
+hamlet/basis/GENERAL-sig.sml
+hamlet/basis/General.sml
+hamlet/basis/IEEEReal.sml
+hamlet/basis/IEEE_REAL-sig.sml
+hamlet/basis/IMPERATIVE_IO-sig.sml
+hamlet/basis/INTEGER-sig.sml
+hamlet/basis/IO-sig.sml
+hamlet/basis/IO.sml
+hamlet/basis/Int.sml
+hamlet/basis/LIST-sig.sml
+hamlet/basis/LIST_PAIR-sig.sml
+hamlet/basis/LargeInt.sml
+hamlet/basis/LargeReal.sml
+hamlet/basis/LargeWord.sml
+hamlet/basis/List.sml
+hamlet/basis/ListPair.sml
+hamlet/basis/MATH-sig.sml
+hamlet/basis/MONO_ARRAY-sig.sml
+hamlet/basis/MONO_ARRAY_SLICE-sig.sml
+hamlet/basis/MONO_VECTOR-sig.sml
+hamlet/basis/MONO_VECTOR_SLICE-sig.sml
+hamlet/basis/Math.sml
+hamlet/basis/OPTION-sig.sml
+hamlet/basis/OS-sig.sml
+hamlet/basis/OS.sml
+hamlet/basis/OS_FILE_SYS-sig.sml
+hamlet/basis/OS_FileSys.sml
+hamlet/basis/OS_PATH-sig.sml
+hamlet/basis/OS_PROCESS-sig.sml
+hamlet/basis/OS_Path.sml
+hamlet/basis/OS_Process.sml
+hamlet/basis/Option.sml
+hamlet/basis/Position.sml
+hamlet/basis/REAL-sig.sml
+hamlet/basis/Real.sml
+hamlet/basis/STREAM_IO-sig.sml
+hamlet/basis/STRING-sig.sml
+hamlet/basis/STRING_CVT-sig.sml
+hamlet/basis/SUBSTRING-sig.sml
+hamlet/basis/String.sml
+hamlet/basis/StringCvt.sml
+hamlet/basis/Substring.sml
+hamlet/basis/TEXT-sig.sml
+hamlet/basis/TEXT_IO-sig.sml
+hamlet/basis/TEXT_STREAM_IO-sig.sml
+hamlet/basis/Text.sml
+hamlet/basis/TextIO.sml
+hamlet/basis/VECTOR-sig.sml
+hamlet/basis/VECTOR_SLICE-sig.sml
+hamlet/basis/Vector.sml
+hamlet/basis/VectorSlice.sml
+hamlet/basis/WORD-sig.sml
+hamlet/basis/Word.sml
+hamlet/basis/Word8.sml
+hamlet/basis/Word8Array.sml
+hamlet/basis/Word8ArraySlice.sml
+hamlet/basis/Word8Vector.sml
+hamlet/basis/Word8VectorSlice.sml
+hamlet/basis/all.sml
+hamlet/basis/exceptions.sml
+hamlet/basis/infix.sml
+hamlet/basis/types.sml
+hamlet/basis/values.sml
+hamlet/hamlet
Index: pkgsrc/lang/hamlet/distinfo
diff -u /dev/null pkgsrc/lang/hamlet/distinfo:1.1
--- /dev/null Sat Feb 25 18:01:44 2023
+++ pkgsrc/lang/hamlet/distinfo Sat Feb 25 18:01:44 2023
@@ -0,0 +1,6 @@
+$NetBSD: distinfo,v 1.1 2023/02/25 18:01:44 ryoon Exp $
+
+BLAKE2s (hamlet-2.0.0.tar.gz) = 35788b6a401cf248286360afb3657b60b0641fde441454452f077fa159b2779f
+SHA512 (hamlet-2.0.0.tar.gz) = 20829a45f033bae8db4e43b4f38ca995391b872be5ed2b06ce593d2f4f62f1395aa8ee4cd639396697eb4ce7f513e9aba73d0157690f416c219bd3d4eaf9dd7f
+Size (hamlet-2.0.0.tar.gz) = 646614 bytes
+SHA1 (patch-Makefile) = c6347eb076fc2a92c93b1cefecf46d72ad6d7ae8
Index: pkgsrc/lang/hamlet/patches/patch-Makefile
diff -u /dev/null pkgsrc/lang/hamlet/patches/patch-Makefile:1.1
--- /dev/null Sat Feb 25 18:01:44 2023
+++ pkgsrc/lang/hamlet/patches/patch-Makefile Sat Feb 25 18:01:44 2023
@@ -0,0 +1,26 @@
+$NetBSD: patch-Makefile,v 1.1 2023/02/25 18:01:44 ryoon Exp $
+
+* Support staged installation.
+
+--- Makefile.orig 2013-10-13 08:26:10.000000000 +0000
++++ Makefile
+@@ -332,14 +332,14 @@ clean-smlsharp:
+ .PHONY: install
+
+ install:
+- mkdir -p ${INSTALLDIR}
+- mkdir -p ${INSTALLDIR}/basis
+- install -m 444 basis/*.sml ${INSTALLDIR}/basis
++ mkdir -p ${DESTDIR}${INSTALLDIR}
++ mkdir -p ${DESTDIR}${INSTALLDIR}/basis
++ install -m 444 basis/*.sml ${DESTDIR}${INSTALLDIR}/basis
+ if ls hamlet-image.* ;\
+ then \
+- install -m 444 hamlet-image.* ${INSTALLDIR} ;\
++ install -m 444 hamlet-image.* ${DESTDIR}${INSTALLDIR} ;\
+ fi
+- install -m 555 hamlet ${INSTALLDIR}
++ install -m 555 hamlet ${DESTDIR}${INSTALLDIR}
+
+ ################################################################################
+ # JavaScript compilation
Home |
Main Index |
Thread Index |
Old Index