Anthony Cowley
3835a1917f
mlton: darwin bootstrap fixes
...
Allow mlton to compile in a more barren sandbox. The bootstrapping
binaries for darwin have dynamic linking dependencies outside of the nix
store. This patch shifts them to point to the appropriate library within
the nix store.
2016-09-25 20:47:16 -04:00
Anthony Cowley
7181d20a4f
mlton: fix build with clang (darwin)
...
A minor tweak is necessary to avoid raising an error when building with
clang. This gets mlton building on darwin.
2016-09-22 23:02:03 -04:00
J Phani Mahesh
8e3eae86d6
mlton: switch sf downloads to mirror://
...
This allows fallback to all configured mirrors for sourceforge
to download, instead of relying on just downloads.sourceforge.net
2016-08-20 19:14:30 +05:30
Joachim Fasting
ba0f9cfa49
Revert "Merge pull request #16980 from phanimahesh/sf-use-mirrors"
...
This reverts commit 217594fd1d0b4cc36c98c1605b73ccb50ce57bc8, reversing
changes made to 8e8a89d8a8f9d801f9e17d48325d06f20743b364.
Turns out it wasn't ready afterall ...
2016-08-20 15:14:23 +02:00
J Phani Mahesh
c8964601e0
mlton: switch sf downloads to mirror://
2016-08-20 17:24:53 +05:30
Vladimír Čunát
148e03b2f1
gmp: split into multiple outputs
2015-10-28 10:15:49 +01:00
Vladimír Čunát
3b9ef2c71b
fix "libc}/lib" and similar references
...
Done mostly without any verification.
I didn't bother with libc}/include, as the path is still correct.
2015-05-05 11:52:08 +02:00
Dan Peebles
da8ab2d947
Get mlton a little closer to working on darwin+clang (thanks to gridaphobe). Still impure, and needs more work.
2015-02-08 19:24:44 -05:00
Marco
d6aee89fd7
Fix build of MLton on Linux i686
2014-04-19 14:30:39 +01:00
Marco Maggesi
3737ec7c74
Enable compilation of MLton on darwin
2014-04-19 14:30:39 +01:00
Karn Kallio
b572051882
mlton: fix build with latest version.
2014-02-03 23:30:18 +01:00
Vladimír Čunát
0f3155f246
mlton: fix build by updating
2014-01-05 15:20:48 +01:00
Bjørn Forsman
083d0890f5
More description fixes
...
* Remove package name
* Start with upper case letter
* Remove trailing period
Also reword some descriptions and move some long descriptions to
longDescription.
I'm not touching generated packages.
2013-10-06 12:01:38 +02:00
Karn Kallio
50cab85e88
Fix mlton build: apply Marc Weber patch and update download URL.
...
svn path=/nixpkgs/trunk/; revision=33882
2012-04-22 20:39:43 +00:00
Peter Simons
f17a4cfbf9
Add package mlton, an optimizing compiler for Standard ML.
...
This commit packages mlton. Note that the documentation has not
been built or included.
svn path=/nixpkgs/trunk/; revision=23378
2010-08-24 08:23:16 +00:00
