amaharaneko/nonguix-mirrors
1
0
Fork 0
mirror of https://gitlab.com/nonguix/nonguix.git synced 2025-10-01 18:05:00 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

nongnu: mosml: Fix build.

Browse source 
* nongnu/packages/sml.scm (mosml) [arguments] <#:make-flags>: Set "--std=gnu89".
[license]: Correct licenses.
This commit is contained in:
Hilton Chain 2025-08-24 10:07:15 +08:00
parent 9bf3d1394f
commit 099ab02079
No known key found for this signature in database
GPG key ID: ACC66D09CA528292
1 changed files with 11 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

19
nongnu/packages/sml.scm
View file

@ -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)))))