blob: 124edea7229869cc9d360ad9b601f6c52c4ba32e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
(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) " --std=gnu89")
(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
(list (license-gnu:fsf-free
"file://copyright/copyrght.att"
"Standard ML of New Jersey License")
;; XXX: License issue: the two licenses below are conflict.
(license:nonfree
"file://copyright/copyrght.cl"
"Copyright notice from INRIA, no commercial distribution, apply
same conditions to derivative works")
license-gnu:gpl2)))))
|
