diff options
| author | Chris Double <chris.double@double.co.nz> | 2014-11-18 00:57:44 +1300 |
|---|---|---|
| committer | Chris Double <chris.double@double.co.nz> | 2014-11-18 01:05:42 +1300 |
| commit | eaf74a6b7749252da79b03e72160d0cd0ae02d8c (patch) | |
| tree | 96bd0c8255e4672e1b4b85a87819f290f8f97c0e /pkgs/development/compilers/aliceml/make.patch | |
| parent | 5b0756cd21a6d7e00baacf8ba2141ee70f66a552 (diff) | |
| download | nixlib-eaf74a6b7749252da79b03e72160d0cd0ae02d8c.tar nixlib-eaf74a6b7749252da79b03e72160d0cd0ae02d8c.tar.gz nixlib-eaf74a6b7749252da79b03e72160d0cd0ae02d8c.tar.bz2 nixlib-eaf74a6b7749252da79b03e72160d0cd0ae02d8c.tar.lz nixlib-eaf74a6b7749252da79b03e72160d0cd0ae02d8c.tar.xz nixlib-eaf74a6b7749252da79b03e72160d0cd0ae02d8c.tar.zst nixlib-eaf74a6b7749252da79b03e72160d0cd0ae02d8c.zip | |
Update aliceml to use git version of Alice ML
This allows 64 bit builds of Alice ML and removes the need for old versions of gcc to build. The license is changed to 'mit' from the 'bsd' that it was previously as the COPYING files in the alice and seam repositories appear to be the modern style MIT variant (also known as the ICU variant). Added myself as the maintainer.
Diffstat (limited to 'pkgs/development/compilers/aliceml/make.patch')
| -rw-r--r-- | pkgs/development/compilers/aliceml/make.patch | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/pkgs/development/compilers/aliceml/make.patch b/pkgs/development/compilers/aliceml/make.patch new file mode 100644 index 000000000000..78e2b28974e8 --- /dev/null +++ b/pkgs/development/compilers/aliceml/make.patch @@ -0,0 +1,20 @@ +diff --git a/Makefile b/Makefile +index 6a55b06..84a6000 100644 +--- a/make/Makefile ++++ b/make/Makefile +@@ -387,6 +387,7 @@ configure-seam-linux64: + ../sources/configure \ + --prefix='$(PREFIX)' \ + --with-warnings=yes \ ++ --with-zlib='$(zlib)' \ + --disable-lightning) + + .PHONY: configure-seam-darwin64 +@@ -434,6 +435,7 @@ configure-alice-ll-linux: + (cd $(PWD)/alice/build && \ + ../sources/vm-seam/configure \ + --prefix='$(PREFIX)' \ ++ --with-gmp='$(gmp)' \ + --with-warnings=yes) + + .PHONY: rebuild-alice-ll |