2017-07-15 18:17:25 -04:00
|
|
|
;;; GNU Guix --- Functional package management for GNU
|
|
|
|
|
;;; Copyright © 2017 Andy Patterson <ajpatter@uwaterloo.ca>
|
2021-05-06 11:58:42 -04:00
|
|
|
;;; Copyright © 2017, 2021 Tobias Geerinckx-Rice <me@tobias.gr>
|
2018-11-29 16:19:58 -05:00
|
|
|
;;; Copyright © 2018 Ricardo Wurmus <rekado@elephly.net>
|
2020-07-23 00:54:52 -04:00
|
|
|
;;; Copyright © 2019, 2020 Brett Gilio <brettg@gnu.org>
|
2021-11-10 04:05:59 -05:00
|
|
|
;;; Copyright © 2021 Foo Chuan Wei <chuanwei.foo@hotmail.com>
|
2017-07-15 18:17:25 -04:00
|
|
|
;;;
|
|
|
|
|
;;; This file is part of GNU Guix.
|
|
|
|
|
;;;
|
|
|
|
|
;;; GNU Guix is free software; you can redistribute it and/or modify it
|
|
|
|
|
;;; under the terms of the GNU General Public License as published by
|
|
|
|
|
;;; the Free Software Foundation; either version 3 of the License, or (at
|
|
|
|
|
;;; your option) any later version.
|
|
|
|
|
;;;
|
|
|
|
|
;;; GNU Guix is distributed in the hope that it will be useful, but
|
|
|
|
|
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
;;; GNU General Public License for more details.
|
|
|
|
|
;;;
|
|
|
|
|
;;; You should have received a copy of the GNU General Public License
|
|
|
|
|
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
|
|
(define-module (gnu packages sml)
|
|
|
|
|
#:use-module (gnu packages lesstif)
|
|
|
|
|
#:use-module (gnu packages libffi)
|
|
|
|
|
#:use-module (gnu packages multiprecision)
|
|
|
|
|
#:use-module (gnu packages xorg)
|
|
|
|
|
#:use-module (guix build-system gnu)
|
|
|
|
|
#:use-module (guix download)
|
2018-11-29 16:19:58 -05:00
|
|
|
#:use-module (guix git-download)
|
2017-07-15 18:17:25 -04:00
|
|
|
#:use-module ((guix licenses) #:prefix license:)
|
2021-11-10 04:05:59 -05:00
|
|
|
#:use-module (guix packages)
|
|
|
|
|
#:use-module (guix utils))
|
2017-07-15 18:17:25 -04:00
|
|
|
|
|
|
|
|
(define-public polyml
|
|
|
|
|
(package
|
|
|
|
|
(name "polyml")
|
2021-05-06 11:58:42 -04:00
|
|
|
(version "5.8.2")
|
2018-11-29 16:19:58 -05:00
|
|
|
(source (origin
|
|
|
|
|
(method git-fetch)
|
|
|
|
|
(uri (git-reference
|
gnu: Remove ".git" from "https://github/…/….git".
Until now, 'lookup-origin' and thus 'lookup-origin-revision' in (guix
swh) would sometimes return #f for these because the ".git" URLs are
redirects to the non-".git" URLs. Consequently, 'guix lint -c archival'
would keep saying "scheduled Software Heritage archival"; likewise, the
fallback download code would fail.
* gnu/packages/ada.scm,
gnu/packages/admin.scm,
gnu/packages/aidc.scm,
gnu/packages/algebra.scm,
gnu/packages/android.scm,
gnu/packages/animation.scm,
gnu/packages/arcan.scm,
gnu/packages/assembly.scm,
gnu/packages/audio.scm,
gnu/packages/authentication.scm,
gnu/packages/avr.scm,
gnu/packages/axoloti.scm,
gnu/packages/backup.scm,
gnu/packages/bash.scm,
gnu/packages/benchmark.scm,
gnu/packages/bioconductor.scm,
gnu/packages/bioinformatics.scm,
gnu/packages/bittorrent.scm,
gnu/packages/boost.scm,
gnu/packages/build-tools.scm,
gnu/packages/c.scm,
gnu/packages/calendar.scm,
gnu/packages/cdrom.scm,
gnu/packages/check.scm,
gnu/packages/chemistry.scm,
gnu/packages/chez.scm,
gnu/packages/clojure.scm,
gnu/packages/code.scm,
gnu/packages/compression.scm,
gnu/packages/compton.scm,
gnu/packages/coq.scm,
gnu/packages/cpp.scm,
gnu/packages/cran.scm,
gnu/packages/crypto.scm,
gnu/packages/curl.scm,
gnu/packages/databases.scm,
gnu/packages/datastructures.scm,
gnu/packages/debug.scm,
gnu/packages/disk.scm,
gnu/packages/distributed.scm,
gnu/packages/django.scm,
gnu/packages/dlang.scm,
gnu/packages/dns.scm,
gnu/packages/docker.scm,
gnu/packages/education.scm,
gnu/packages/efi.scm,
gnu/packages/elixir.scm,
gnu/packages/emacs-xyz.scm,
gnu/packages/embedded.scm,
gnu/packages/emulators.scm,
gnu/packages/engineering.scm,
gnu/packages/erlang.scm,
gnu/packages/fabric-management.scm,
gnu/packages/file-systems.scm,
gnu/packages/finance.scm,
gnu/packages/firmware.scm,
gnu/packages/flashing-tools.scm,
gnu/packages/fonts.scm,
gnu/packages/fontutils.scm,
gnu/packages/fpga.scm,
gnu/packages/game-development.scm,
gnu/packages/games.scm,
gnu/packages/genealogy.scm,
gnu/packages/genimage.scm,
gnu/packages/geo.scm,
gnu/packages/gimp.scm,
gnu/packages/gl.scm,
gnu/packages/gnome-xyz.scm,
gnu/packages/gnome.scm,
gnu/packages/gnuzilla.scm,
gnu/packages/golang.scm,
gnu/packages/gpodder.scm,
gnu/packages/graph.scm,
gnu/packages/graphics.scm,
gnu/packages/graphviz.scm,
gnu/packages/groff.scm,
gnu/packages/groovy.scm,
gnu/packages/gtk.scm,
gnu/packages/guile-xyz.scm,
gnu/packages/guile.scm,
gnu/packages/hardware.scm,
gnu/packages/haskell-apps.scm,
gnu/packages/haskell-xyz.scm,
gnu/packages/hexedit.scm,
gnu/packages/i2p.scm,
gnu/packages/ibus.scm,
gnu/packages/image-processing.scm,
gnu/packages/image-viewers.scm,
gnu/packages/image.scm,
gnu/packages/ipfs.scm,
gnu/packages/java-graphics.scm,
gnu/packages/java-maths.scm,
gnu/packages/java.scm,
gnu/packages/javascript.scm,
gnu/packages/jrnl.scm,
gnu/packages/julia.scm,
gnu/packages/jupyter.scm,
gnu/packages/kodi.scm,
gnu/packages/language.scm,
gnu/packages/lego.scm,
gnu/packages/less.scm,
gnu/packages/libusb.scm,
gnu/packages/linux.scm,
gnu/packages/lirc.scm,
gnu/packages/lisp-xyz.scm,
gnu/packages/llvm.scm,
gnu/packages/logging.scm,
gnu/packages/lolcode.scm,
gnu/packages/lua.scm,
gnu/packages/lxde.scm,
gnu/packages/lxqt.scm,
gnu/packages/machine-learning.scm,
gnu/packages/mail.scm,
gnu/packages/markup.scm,
gnu/packages/maths.scm,
gnu/packages/maven.scm,
gnu/packages/mes.scm,
gnu/packages/messaging.scm,
gnu/packages/monitoring.scm,
gnu/packages/mpd.scm,
gnu/packages/music.scm,
gnu/packages/networking.scm,
gnu/packages/node-xyz.scm,
gnu/packages/ocaml.scm,
gnu/packages/ocr.scm,
gnu/packages/onc-rpc.scm,
gnu/packages/opencl.scm,
gnu/packages/opencog.scm,
gnu/packages/pantheon.scm,
gnu/packages/password-utils.scm,
gnu/packages/patchutils.scm,
gnu/packages/pdf.scm,
gnu/packages/perl6.scm,
gnu/packages/phabricator.scm,
gnu/packages/popt.scm,
gnu/packages/printers.scm,
gnu/packages/prolog.scm,
gnu/packages/protobuf.scm,
gnu/packages/pulseaudio.scm,
gnu/packages/python-crypto.scm,
gnu/packages/python-web.scm,
gnu/packages/python-xyz.scm,
gnu/packages/qt.scm,
gnu/packages/radio.scm,
gnu/packages/rails.scm,
gnu/packages/rdf.scm,
gnu/packages/rednotebook.scm,
gnu/packages/rpc.scm,
gnu/packages/rsync.scm,
gnu/packages/ruby.scm,
gnu/packages/rust.scm,
gnu/packages/scheme.scm,
gnu/packages/screen.scm,
gnu/packages/security-token.scm,
gnu/packages/selinux.scm,
gnu/packages/serialization.scm,
gnu/packages/shells.scm,
gnu/packages/shellutils.scm,
gnu/packages/simh.scm,
gnu/packages/sml.scm,
gnu/packages/ssh.scm,
gnu/packages/statistics.scm,
gnu/packages/stenography.scm,
gnu/packages/sync.scm,
gnu/packages/syncthing.scm,
gnu/packages/synergy.scm,
gnu/packages/telephony.scm,
gnu/packages/terminals.scm,
gnu/packages/tex.scm,
gnu/packages/texinfo.scm,
gnu/packages/text-editors.scm,
gnu/packages/textutils.scm,
gnu/packages/time.scm,
gnu/packages/tmux.scm,
gnu/packages/tor.scm,
gnu/packages/toys.scm,
gnu/packages/version-control.scm,
gnu/packages/video.scm,
gnu/packages/vim.scm,
gnu/packages/virtualization.scm,
gnu/packages/vlang.scm,
gnu/packages/vnc.scm,
gnu/packages/vpn.scm,
gnu/packages/web-browsers.scm,
gnu/packages/web.scm,
gnu/packages/wireservice.scm,
gnu/packages/wm.scm,
gnu/packages/wxwidgets.scm,
gnu/packages/xdisorg.scm,
gnu/packages/xml.scm,
gnu/packages/xorg.scm,
tests/lint.scm: Remove trailing ".git" from 'git-reference' URL.
2020-07-12 16:53:28 -04:00
|
|
|
(url "https://github.com/polyml/polyml")
|
2018-11-29 16:19:58 -05:00
|
|
|
(commit (string-append "v" version))))
|
|
|
|
|
(file-name (git-file-name name version))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
2021-05-06 11:58:42 -04:00
|
|
|
"1y3i919kzylvhwfsi6adnc0ah0xahl6ncna0g5bcjyhxsq2416rn"))))
|
2017-07-15 18:17:25 -04:00
|
|
|
(build-system gnu-build-system)
|
|
|
|
|
(inputs
|
2021-12-13 11:18:24 -05:00
|
|
|
(list gmp lesstif libffi libx11 libxt))
|
2017-07-15 18:17:25 -04:00
|
|
|
(arguments
|
|
|
|
|
'(#:configure-flags
|
|
|
|
|
(list "--with-system-libffi=yes"
|
|
|
|
|
"--with-x=yes"
|
|
|
|
|
"--with-threads=yes"
|
|
|
|
|
"--with-gmp=yes")
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(add-after 'build 'build-compiler
|
|
|
|
|
(lambda* (#:key make-flags parallel-build? #:allow-other-keys)
|
|
|
|
|
(define flags
|
|
|
|
|
(if parallel-build?
|
|
|
|
|
(cons (format #f "-j~d" (parallel-job-count))
|
|
|
|
|
make-flags)
|
|
|
|
|
make-flags))
|
|
|
|
|
(apply system* "make" (append flags (list "compiler"))))))))
|
2019-11-22 16:25:38 -05:00
|
|
|
(home-page "https://www.polyml.org/")
|
2017-07-15 18:17:25 -04:00
|
|
|
(synopsis "Standard ML implementation")
|
|
|
|
|
(description "Poly/ML is a Standard ML implementation. It is fully
|
|
|
|
|
compatible with the ML97 standard. It includes a thread library, a foreign
|
|
|
|
|
function interface, and a symbolic debugger.")
|
|
|
|
|
;; Some source files specify 'or any later version'; some don't
|
|
|
|
|
(license
|
|
|
|
|
(list license:lgpl2.1
|
|
|
|
|
license:lgpl2.1+))))
|
2021-11-10 04:05:59 -05:00
|
|
|
|
|
|
|
|
(define (smlnj-file version filename hash)
|
|
|
|
|
(origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "http://smlnj.cs.uchicago.edu/dist/working/"
|
|
|
|
|
version "/" filename))
|
|
|
|
|
(sha256 (base32 hash))))
|
|
|
|
|
|
|
|
|
|
(define-public smlnj
|
|
|
|
|
(package
|
|
|
|
|
(name "smlnj")
|
|
|
|
|
(version "110.99.2")
|
|
|
|
|
(source #f) ; Sources are passed as native-inputs.
|
|
|
|
|
(supported-systems '("x86_64-linux" "i686-linux"))
|
|
|
|
|
(build-system gnu-build-system)
|
|
|
|
|
(outputs '("out" "doc"))
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:tests? #f
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(replace 'unpack
|
|
|
|
|
(lambda* (#:key inputs #:allow-other-keys)
|
|
|
|
|
(for-each
|
|
|
|
|
(lambda (file)
|
|
|
|
|
(invoke "tar" "xvf" (assoc-ref inputs file)))
|
|
|
|
|
(list (if (string=? "i686-linux" ,(%current-system))
|
|
|
|
|
"boot.x86-unix"
|
|
|
|
|
"boot.amd64-unix")
|
|
|
|
|
"config"
|
|
|
|
|
"cm"
|
|
|
|
|
"compiler"
|
|
|
|
|
"runtime"
|
|
|
|
|
"system"
|
|
|
|
|
"MLRISC"
|
|
|
|
|
"smlnj-lib"
|
|
|
|
|
"old-basis"
|
|
|
|
|
"ckit"
|
|
|
|
|
"nlffi"
|
|
|
|
|
"cml"
|
|
|
|
|
"eXene"
|
|
|
|
|
"ml-lpt"
|
|
|
|
|
"ml-lex"
|
|
|
|
|
"ml-yacc"
|
|
|
|
|
"ml-burg"
|
|
|
|
|
"pgraph"
|
|
|
|
|
"trace-debug-profile"
|
|
|
|
|
"heap2asm"
|
|
|
|
|
"smlnj-c"
|
|
|
|
|
"doc"
|
|
|
|
|
"asdl"))
|
|
|
|
|
;; Same directory structure as what the config/unpack script
|
|
|
|
|
;; would produce.
|
|
|
|
|
(mkdir "base")
|
|
|
|
|
(rename-file "runtime" "base/runtime")
|
|
|
|
|
(rename-file "compiler" "base/compiler")
|
|
|
|
|
(rename-file "cm" "base/cm")
|
|
|
|
|
(rename-file "old-basis" "base/old-basis")
|
|
|
|
|
(rename-file "system" "base/system")
|
|
|
|
|
#t))
|
|
|
|
|
(delete 'configure)
|
|
|
|
|
(replace 'patch-source-shebangs
|
|
|
|
|
(lambda _
|
|
|
|
|
;; Fix paths to /bin/sh.
|
|
|
|
|
(substitute* (list "config/install.sh"
|
|
|
|
|
(if (string=? "i686-linux" ,(%current-system))
|
|
|
|
|
"base/runtime/objs/mk.x86-linux"
|
|
|
|
|
"base/runtime/objs/mk.amd64-linux")
|
|
|
|
|
"asdl/configure"
|
|
|
|
|
"asdl/src/asdlgen/Makefile.in")
|
|
|
|
|
(("^SHELL[[:space:]]*=[[:space:]]*/bin/sh")
|
|
|
|
|
(string-append "SHELL=" (which "sh"))))
|
|
|
|
|
(substitute* "asdl/configure"
|
|
|
|
|
(("^SHELL=\\$\\{CONFIG_SHELL-/bin/sh\\}")
|
|
|
|
|
(string-append "SHELL=" (which "sh"))))
|
|
|
|
|
(substitute* (list "asdl/src/gen/fragments/mkfrags_sh.in"
|
|
|
|
|
"asdl/src/gen/fragments/mkmk_sh.in")
|
|
|
|
|
(("^#!/bin/sh")
|
|
|
|
|
(string-append "#!" (which "sh"))))
|
|
|
|
|
#t))
|
|
|
|
|
(replace 'build
|
|
|
|
|
(lambda* (#:key inputs outputs #:allow-other-keys)
|
|
|
|
|
(substitute* "config/chk-global-names.sh"
|
|
|
|
|
(("^CC=.*")
|
|
|
|
|
(string-append "CC=" ,(cc-for-target))))
|
|
|
|
|
|
|
|
|
|
;; /bin and /usr/bin do not exist in the build environment.
|
|
|
|
|
(substitute* "config/_arch-n-opsys"
|
|
|
|
|
(("^export PATH") "")
|
|
|
|
|
(("^PATH=\"/bin:/usr/bin\"") "")
|
|
|
|
|
(("uname") (which "uname")))
|
|
|
|
|
(substitute* "base/runtime/config/gen-posix-names.sh"
|
|
|
|
|
(("^PATH=/bin:/usr/bin") ""))
|
|
|
|
|
|
|
|
|
|
;; The build process uses an SML Basis Library function
|
|
|
|
|
;; `OS.Process.system`, which uses "/bin/sh" (this is hardcoded).
|
|
|
|
|
;; However, /bin/sh does not exist in the Guix build environment.
|
|
|
|
|
;; Solution: binary patch — replace "/bin/sh" with "/tmp/sh".
|
|
|
|
|
(symlink (which "sh") "/tmp/sh")
|
|
|
|
|
(invoke "sed" "-i" "s,/bin/sh,/tmp/sh,"
|
|
|
|
|
(if (string=? "i686-linux" ,(%current-system))
|
|
|
|
|
"sml.boot.x86-unix/SMLNJ-BASIS/.cm/x86-unix/basis-common.cm"
|
|
|
|
|
"sml.boot.amd64-unix/SMLNJ-BASIS/.cm/amd64-unix/basis-common.cm"))
|
|
|
|
|
|
|
|
|
|
;; Build.
|
|
|
|
|
(invoke "./config/install.sh" "-default"
|
|
|
|
|
(if (string=? "i686-linux" ,(%current-system))
|
|
|
|
|
"32"
|
|
|
|
|
"64"))
|
|
|
|
|
|
|
|
|
|
;; Undo the binary patch.
|
|
|
|
|
(for-each
|
|
|
|
|
(lambda (file)
|
|
|
|
|
(invoke "sed" "-i" "s,/tmp/sh,/bin/sh," file))
|
|
|
|
|
(if (string=? "i686-linux" ,(%current-system))
|
|
|
|
|
'("bin/.heap/sml.x86-linux"
|
|
|
|
|
"lib/SMLNJ-BASIS/.cm/x86-unix/basis-common.cm")
|
|
|
|
|
'("bin/.heap/sml.amd64-linux"
|
|
|
|
|
"lib/SMLNJ-BASIS/.cm/amd64-unix/basis-common.cm")))
|
|
|
|
|
|
|
|
|
|
;; Set SMLNJ_HOME in the bin/ files, so that `sml` is able to find
|
|
|
|
|
;; the SML/NJ Library.
|
|
|
|
|
(let ((out (assoc-ref outputs "out")))
|
|
|
|
|
(for-each
|
|
|
|
|
(lambda (file)
|
|
|
|
|
(invoke "sed" "-i"
|
|
|
|
|
(string-append "2iSMLNJ_HOME=${SMLNJ_HOME:-" out "}")
|
|
|
|
|
file))
|
|
|
|
|
'("bin/.link-sml"
|
|
|
|
|
"bin/.run-sml"
|
|
|
|
|
"bin/ml-build"
|
|
|
|
|
"bin/ml-makedepend")))))
|
|
|
|
|
(replace 'install
|
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
|
|
|
(out-bin (string-append out "/bin/"))
|
|
|
|
|
(out-lib (string-append out "/lib/"))
|
|
|
|
|
(out-man (string-append out "/share/man/")))
|
|
|
|
|
(copy-recursively "bin" out-bin)
|
|
|
|
|
(copy-recursively "lib" out-lib)
|
|
|
|
|
(copy-recursively "doc/man" out-man))
|
|
|
|
|
#t))
|
|
|
|
|
(add-after 'install 'install-doc
|
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
|
(let ((doc (string-append (assoc-ref outputs "doc")
|
|
|
|
|
"/share/doc/smlnj")))
|
|
|
|
|
(mkdir-p doc)
|
|
|
|
|
(copy-recursively "doc" doc))
|
|
|
|
|
#t)))))
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(,(if (string=? "i686-linux" (%current-system))
|
|
|
|
|
`("boot.x86-unix"
|
|
|
|
|
,(smlnj-file version
|
|
|
|
|
"boot.x86-unix.tgz"
|
|
|
|
|
"117dq1g387vcy1105dlpw770gzrg423jng89ynraiy6kiaalvbcq"))
|
|
|
|
|
`("boot.amd64-unix"
|
|
|
|
|
,(smlnj-file version
|
|
|
|
|
"boot.amd64-unix.tgz"
|
|
|
|
|
"0cbaz8sxp30y2a4blm0pzk9aa1g9jj65d6d7kydvn0w7m22rjjff")))
|
|
|
|
|
("config"
|
|
|
|
|
,(smlnj-file version
|
|
|
|
|
"config.tgz"
|
|
|
|
|
"1sq60frd66kv807bahsyxda355qq67zvvb4sr1d72cv6capv5nsg"))
|
|
|
|
|
("cm"
|
|
|
|
|
,(smlnj-file version
|
|
|
|
|
"cm.tgz"
|
|
|
|
|
"087yy9k9vyyvhb24rni6js7s8iqbs8vjm9kjd9s311swjd66qhjc"))
|
|
|
|
|
("compiler"
|
|
|
|
|
,(smlnj-file version
|
|
|
|
|
"compiler.tgz"
|
|
|
|
|
"149vrmiba0dqggr15axqqzzfmd0kx7kchlr49gii6hw5dal6vqnn"))
|
|
|
|
|
("runtime"
|
|
|
|
|
,(smlnj-file version
|
|
|
|
|
"runtime.tgz"
|
|
|
|
|
"0c3q7qr2i3r91sx9p3z1ar7gvyk6qsm5gcbpbyj6l67qzn192yc3"))
|
|
|
|
|
("system"
|
|
|
|
|
,(smlnj-file version
|
|
|
|
|
"system.tgz"
|
|
|
|
|
"0aflnqh9zi9f8vs9pjlxysxplrwl98aiaxx4n41sba4m1r30n0za"))
|
|
|
|
|
("MLRISC"
|
|
|
|
|
,(smlnj-file version
|
|
|
|
|
"MLRISC.tgz"
|
|
|
|
|
"1kkga7r7qnw09s8yhqbhrq8gxf6c8x0fiwsbwkr8ls6xwv48sp74"))
|
|
|
|
|
("smlnj-lib"
|
|
|
|
|
,(smlnj-file version
|
|
|
|
|
"smlnj-lib.tgz"
|
|
|
|
|
"14fvqgn580k3ylvfhbkwv4cw87ipggq548r7jzp8fzfn2h6wdl01"))
|
|
|
|
|
("old-basis"
|
|
|
|
|
,(smlnj-file version
|
|
|
|
|
"old-basis.tgz"
|
|
|
|
|
"11j7a0sxyd1kwxjvxnarab5vc3x43gl90m07wxm37fd4jbfd1fn1"))
|
|
|
|
|
("ckit"
|
|
|
|
|
,(smlnj-file version
|
|
|
|
|
"ckit.tgz"
|
|
|
|
|
"1fbfjb2fhr6zkcz5jhqh3888zska6vffndyqwvk6rpbcl7an8niq"))
|
|
|
|
|
("nlffi"
|
|
|
|
|
,(smlnj-file version
|
|
|
|
|
"nlffi.tgz"
|
|
|
|
|
"0p5z77x295xfh71481kbd5pwis52kv03vxpad4pzkpk0l6smcgmj"))
|
|
|
|
|
("cml"
|
|
|
|
|
,(smlnj-file version
|
|
|
|
|
"cml.tgz"
|
|
|
|
|
"13xchaamwanxhwklsgkn1rmkr044h9qsj0rbr9c7pm903yivdwcn"))
|
|
|
|
|
("eXene"
|
|
|
|
|
,(smlnj-file version
|
|
|
|
|
"eXene.tgz"
|
|
|
|
|
"0p4snql0a1a952h98ma9ybmp7z1q305mz859b0mxhsg3jdrzl9wb"))
|
|
|
|
|
("ml-lpt"
|
|
|
|
|
,(smlnj-file version
|
|
|
|
|
"ml-lpt.tgz"
|
|
|
|
|
"0m00vglg95apdpzsy6qv88izj5ai4ibylxni01an75xpnxyy5qbg"))
|
|
|
|
|
("ml-lex"
|
|
|
|
|
,(smlnj-file version
|
|
|
|
|
"ml-lex.tgz"
|
|
|
|
|
"1pmi5qwjcf1h5nfi7d4vvm7cf90g6dlk2mqikj0y9c464ia1l2jc"))
|
|
|
|
|
("ml-yacc"
|
|
|
|
|
,(smlnj-file version
|
|
|
|
|
"ml-yacc.tgz"
|
|
|
|
|
"1zla2m1rn8r8k85ps9r2mw38xkh276j7aqv9f69v55102hchx13p"))
|
|
|
|
|
("ml-burg"
|
|
|
|
|
,(smlnj-file version
|
|
|
|
|
"ml-burg.tgz"
|
|
|
|
|
"14cqasasa273x09phykzjgk1wl6vrkdcwrdi39hnacp443cilz7x"))
|
|
|
|
|
("pgraph"
|
|
|
|
|
,(smlnj-file version
|
|
|
|
|
"pgraph.tgz"
|
|
|
|
|
"183fv61xlac5kpxn5m4iqgdvc2xb1chlxy5ip4i25x589bh4b5k9"))
|
|
|
|
|
("trace-debug-profile"
|
|
|
|
|
,(smlnj-file version
|
|
|
|
|
"trace-debug-profile.tgz"
|
|
|
|
|
"1k0w581kr43mpjzm7778xgx1rpz45aq1h80jdr6jls5vz3k8ia18"))
|
|
|
|
|
("heap2asm"
|
|
|
|
|
,(smlnj-file version
|
|
|
|
|
"heap2asm.tgz"
|
|
|
|
|
"0p9s42acngxh0401wm6fqs3im3rzzw9sh448x38zhdi47h8h1m9n"))
|
|
|
|
|
("smlnj-c"
|
|
|
|
|
,(smlnj-file version
|
|
|
|
|
"smlnj-c.tgz"
|
|
|
|
|
"054b1nhg5yk2jj01p11k08qzq8zc9jzg4mbgkcmcqaq7axp1rnxm"))
|
|
|
|
|
("doc"
|
|
|
|
|
,(smlnj-file version
|
|
|
|
|
"doc.tgz"
|
|
|
|
|
"0s35zrxdj76wzdz7c1i8ij00n6lfll4vjnypsy2j17q1maw7fq8j"))
|
|
|
|
|
("asdl"
|
|
|
|
|
,(smlnj-file version
|
|
|
|
|
"asdl.tgz"
|
|
|
|
|
"0mad2df5pmkdsb69gflxma6m6i3gla6hdmjjnkzk76pagpr8zb0m"))))
|
|
|
|
|
(home-page "http://www.smlnj.org")
|
|
|
|
|
(synopsis "Standard ML of New Jersey interactive compiler")
|
|
|
|
|
(description
|
|
|
|
|
"SML/NJ is an implementation of the Standard ML programming language.
|
|
|
|
|
Standard ML has many features, including type safety, polymorphism, algebraic
|
|
|
|
|
data types with pattern matching, higher-order functions, and a sophisticated
|
|
|
|
|
module system. It is especially well-suited for writing compilers and other
|
|
|
|
|
language processors.")
|
|
|
|
|
(license (license:fsf-free
|
|
|
|
|
"https://www.smlnj.org/license.html"
|
|
|
|
|
"https://www.gnu.org/licenses/license-list#StandardMLofNJ"))))
|