mirror of
https://gitlab.com/nonguix/nonguix.git
synced 2025-10-02 02:14:59 +00:00
nongnu: Add mosml.
* nongnu/packages/sml.scm: New file. Signed-off-by: Hilton Chain <hako@ultrarare.space> Modified-by: Hilton Chain <hako@ultrarare.space>
This commit is contained in:
parent
b7fbe3ee79
commit
6f4d87c43a
1 changed files with 65 additions and 0 deletions
65
nongnu/packages/sml.scm
Normal file
65
nongnu/packages/sml.scm
Normal file
|
@ -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"))))))
|
Loading…
Add table
Add a link
Reference in a new issue