diff options
| author | Hilton Chain <hako@ultrarare.space> | 2025-08-24 10:07:15 +0800 |
|---|---|---|
| committer | Hilton Chain <hako@ultrarare.space> | 2025-08-24 10:24:52 +0800 |
| commit | 099ab02079f82b9d61c0d722c26895e514489899 (patch) | |
| tree | cb3004970c0751bc009aae1cb6a777cc54bb29f8 /nongnu | |
| parent | 9bf3d1394f595413c51d621e61f231789c74891e (diff) | |
nongnu: mosml: Fix build.
* nongnu/packages/sml.scm (mosml) [arguments] <#:make-flags>: Set "--std=gnu89".
[license]: Correct licenses.
Diffstat (limited to 'nongnu')
| -rw-r--r-- | nongnu/packages/sml.scm | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/nongnu/packages/sml.scm b/nongnu/packages/sml.scm index 6277dfb..124edea 100644 --- a/nongnu/packages/sml.scm +++ b/nongnu/packages/sml.scm @@ -30,9 +30,9 @@ (build-system gnu-build-system) (arguments (list #:make-flags - #~(list (string-append "CC=" #$(cc-for-target)) + #~(list (string-append "CC=" #$(cc-for-target) " --std=gnu89") (string-append "PREFIX=" #$output) - "-C" "src" ) + "-C" "src") #:phases #~(modify-phases %standard-phases (delete 'configure) ;No configure script. @@ -57,9 +57,12 @@ "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")))))) + (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))))) |