Vladimír Čunát
|
ab15a62c68
|
Merge branch 'master' into closure-size
Beware that stdenv doesn't build. It seems something more will be needed
than just resolution of merge conflicts.
|
2016-04-01 10:06:01 +02:00 |
|
Nicolas B. Pierron
|
72c6f8a140
|
Ensure that we can evaluate the platform attribute of ocaml packages.
|
2016-03-13 19:08:26 +00:00 |
|
Tuomas Tynkkynen
|
ed7dbb46a8
|
treewide: Mass replace 'zlib}/lib' to refer the 'out' output
|
2016-01-24 10:03:39 +02:00 |
|
Christophe Raffalli
|
59877bd1ad
|
upgraded camlzip to version 1.05 to allow compilation with ocaml-4.00.1
|
2013-06-07 21:40:37 +02:00 |
|
Russell O'Connor
|
88ec92d14c
|
Matita and its dependencies.
svn path=/nixpkgs/trunk/; revision=25328
|
2010-12-31 17:48:55 +00:00 |
|
Marco Maggesi
|
eb33e01ac7
|
* Add variable createFindlibDestdir to the setupHook of findlib
* Set createFindlibDestdir to various ocaml packages.
svn path=/nixpkgs/trunk/; revision=25220
|
2010-12-21 09:37:35 +00:00 |
|
Marco Maggesi
|
eaf8b73517
|
* Fix installation of camlzip
svn path=/nixpkgs/trunk/; revision=25071
|
2010-12-12 17:45:57 +00:00 |
|
Marco Maggesi
|
0b701b824b
|
* take camlzip META file from GODI
svn path=/nixpkgs/trunk/; revision=25069
|
2010-12-12 16:09:52 +00:00 |
|
Marco Maggesi
|
e1bbcecbaf
|
* Enable hydra build for ocaml-batteries, camlzip, camomile, ocaml-cryptgps, cryptokit, ocaml-lwt, menhir, ounit, ocaml-pcre, ocaml-react, ocaml-ssl
svn path=/nixpkgs/trunk/; revision=25064
|
2010-12-11 14:50:45 +00:00 |
|
Marco Maggesi
|
ac457478e3
|
* Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml-batteries, menhir, camomile, ocaml-lwt, cryptokit, ocaml-cryptgps, ounit, ocaml-react
svn path=/nixpkgs/trunk/; revision=25041
|
2010-12-09 15:40:04 +00:00 |
|