Emily
6b35b9b68b
mlton: clean up after x86_64-darwin drop
2026-07-15 03:58:17 +01:00
poz
f89d3199c6
mlton: migrate from sha256 to hash in all packages
2026-02-11 16:56:14 +01:00
poz
f5f4f5e061
mlton: add mlton20241230Binary
2026-02-11 16:56:12 +01:00
Victor Freire
362f9770d9
mltonHEAD: 875f7912a0b135a9a7e86a04ecac9cacf0bfe5e5 -> 61baac7108fbd91413f0537b7a42d9a1023455f4
2025-12-15 17:07:41 -03:00
Victor Freire
44ff5e3ce6
mlton: mlton20210117 -> mlton20241230
2025-12-15 17:07:37 -03:00
Adam Goode
cb8d3762a6
mlton: bootstrap with 20210117 version
...
This includes fixes for the incorrect hashes copied from 20180207-binary.nix.
2024-04-08 23:21:54 -04:00
Adam Goode
318fba182a
mlton: 20210107 -> 20210117
...
It looks like the last update
(https://github.com/NixOS/nixpkgs/pull/176677 ) got the version number
wrong (20210107, but should be 20210117). See
https://github.com/MLton/mlton/releases/tag/on-20210117-release that
has a similar error in the heading (but not in the URL or links).
This corrects this version mismatch. There is no change to the content
of the package.
2024-03-31 21:10:02 -04:00
toastal
1eca09a8a1
mlton: 20180207 → 20210107
2022-06-07 13:34:26 +07:00
Gabriel Ebner
ad0d43e1a7
mlton: use callPackage
2020-09-09 20:16:55 +02:00
Gabriel Ebner
a7f9d336b7
mlton: fix build
2020-09-09 19:29:57 +02:00
Sophia Donataccio
bb7ed2cd81
mlton: refactor and adds mlton20180207Binary mlton20180207 mltonHEAD
...
This commit adds mltonHEAD.
Summary of all the changes in this branch:
* mlton20130715
- for this one I just copy and pasted the old default.nix
- I have tested some projects that compile with this version and don't
compile with the newer version, so I think it makes sense to keep
the old version
* mlton20180207Binary
- This is used to build the source derivations
* mlton20180207
- latest release
* mltonHEAD
- latest commit to the master branch of the github repo at the time of
creating this derivation
2018-10-12 00:47:54 -04:00
Sophia Donataccio
a130228fe8
mlton: adds mlton version 20180207
2018-10-12 00:30:48 -04:00
Sophia Donataccio
30da2b5659
mlton: adds binary release package for mlton version 20180207
...
This works the same as the binary package in the old derivation, by
patching the release binary. The difference is that this derivation
is also exposed at the top level.
2018-10-12 00:21:49 -04:00
Sophia Donataccio
4845d9324f
mlton: prepare old version for refactoring
...
20130715.nix is exactly the same as the old default.nix other than
pulling the meta data out into its own file.
2018-10-12 00:06:54 -04:00
Sophia Donataccio
0fc9fdf7f2
mlton: use stdenv.cc.bintools.dynamicLinker
2018-10-11 23:58:25 -04:00
Will Dietz
eb91037e7b
tree-wide: patchelf used during build -> nativeBuildInputs
...
In a few cases it wasn't clear so I left them as-is.
While visiting these moved other things to nativeBuildInputs
when it was clear they were one of these cases:
* makeWrapper
* archive utilities (in order to unpack src)
* a few of these might no longer be needed but leaving for another day
2018-09-28 11:43:16 -05:00
John Ericson
2c2f1e37d4
reewide: Purge all uses stdenv.system and top-level system
...
It is deprecated and will be removed after 18.09.
2018-08-30 17:20:32 -04:00
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 217594fd1d , reversing
changes made to 8e8a89d8a8 .
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