1 files changed, 65 insertions, 0 deletions
diff --git a/nongnu/packages/sml.scm b/nongnu/packages/sml.scm
new file mode 100644
index 0000000..6277dfb
--- /dev/null
+++ b/nongnu/packages/sml.scm
@@ -0,0 +1,65 @@
+(define-module (nongnu packages sml)
+  #:use-module (guix gexp)
+  #:use-module ((guix licenses) #:prefix license-gnu:)
+  #:use-module (guix packages)
+  #:use-module (guix utils)
+  #:use-module ((nonguix licenses) #:prefix license:)
+  #:use-module (guix git-download)
+  #:use-module (guix build-system gnu)
+  #:use-module (gnu packages base)
+  #:use-module (gnu packages gawk)
+  #:use-module (gnu packages gcc)
+  #:use-module (gnu packages multiprecision)
+  #:use-module (gnu packages perl))
+
+(define-public mosml
+  (let ((commit "13c581aec46eea134e478f2e2b6456278e36ecce")
+        (revision "0"))
+    (package
+      (name "mosml")
+      (version (git-version "2.10.1" revision commit))
+      (source
+       (origin
+         (method git-fetch)
+         (uri (git-reference
+               (url "https://github.com/kfl/mosml")
+               (commit commit)))
+         (file-name (git-file-name name version))
+         (sha256
+          (base32 "191x0kcpybw5zvxsgl5if9x53b3w8zm0z72xfg1x5jwqslmk9bpr"))))
+      (build-system gnu-build-system)
+      (arguments
+       (list #:make-flags
+             #~(list (string-append "CC=" #$(cc-for-target))
+                     (string-append "PREFIX=" #$output)
+                     "-C" "src" )
+             #:phases
+             #~(modify-phases %standard-phases
+                 (delete 'configure)    ;No configure script.
+                 (add-after 'unpack 'fix-makefile-bin-sh
+                   (lambda _
+                     (substitute* "src/Makefile.inc"
+                       (("SHELL=/bin/sh")
+                        (string-append "SHELL=" (which "sh"))))))
+                 (delete 'check)
+                 (add-after 'install 'check
+                   (lambda* (#:key tests? #:allow-other-keys)
+                     (when tests?
+                       (invoke "make" "-C" "src/test"
+                               (string-append
+                                "MOSML=" #$output "/bin/mosml"))))))))
+      (native-inputs (list perl))
+      (inputs (list gmp))
+      (home-page "https://mosml.org")
+      (synopsis
+       "Moscow ML implementation of the Standard ML programming language")
+      (description
+       "Moscow ML is a light-weight implementation of Standard ML (SML), a
+strict functional language used in teaching and research")
+      (license
+       ;; XXX: This package is redistributable but has licensing issue, its own
+       ;; code is GPL but contain non-free bundled sources.  GPL is commented
+       ;; here because showing it along with nonfree ones is confusing.
+       (list ;; license-gnu:gpl2
+             (license:nonfree "file://copyright/copyrght.att")
+             (license:nonfree "file://copyright/copyrght.cl"))))))