Arie Middelkoop
c87285c255
Updated the coccinelle package to the latest release (1.0.0-RC9).
...
Added additional ocaml modules which are needed for coccinelle.
svn path=/nixpkgs/trunk/; revision=31579
2012-01-16 10:20:13 +00:00
Arie Middelkoop
3b833cc93b
Minor-version bump of ocaml-batteries.
...
The previous version did not compile with ocaml>=3.12, and this version is also backwards compatible with 3.11.
svn path=/nixpkgs/trunk/; revision=31578
2012-01-16 10:17:02 +00:00
Marco Maggesi
b41da3c8df
Add ocamlnat (native toplevel for OCaml)
...
svn path=/nixpkgs/trunk/; revision=30926
2011-12-16 09:35:13 +00:00
Marco Maggesi
ef32f76d6e
Update OUnit to version 1.1.0
...
svn path=/nixpkgs/trunk/; revision=30924
2011-12-16 09:13:47 +00:00
Karn Kallio
9ac48a630e
Add OPA to Nixpkgs.
...
svn path=/nixpkgs/trunk/; revision=30578
2011-11-27 23:58:46 +00:00
Russell O'Connor
845f2a8658
adding camlp5 as a propogated build input to ulex 0.8
...
matita and ulex must build against the same version of camlp5, so in an attempt to force them to always be the same I am adding a propgatedBuildInput to ulex.
Granted Matita still requires camlp5_traditional and this is less obvious in the matita file now, so I am not entirely sure this is the right design choice.
svn path=/nixpkgs/trunk/; revision=30552
2011-11-24 19:43:03 +00:00
Marco Maggesi
af9eaf3441
Oops
...
svn path=/nixpkgs/trunk/; revision=27901
2011-07-22 07:39:14 +00:00
Marco Maggesi
b1f6ed4a6e
Update OCaml Batteries to 1.4.0
...
svn path=/nixpkgs/trunk/; revision=27900
2011-07-22 07:28:51 +00:00
Marco Maggesi
e2b159dabe
ocaml batteries: https --> http
...
svn path=/nixpkgs/trunk/; revision=27303
2011-05-25 09:27:50 +00:00
Marco Maggesi
e8466deeff
ocaml batteries: fix download url
...
svn path=/nixpkgs/trunk/; revision=27300
2011-05-24 20:40:55 +00:00
Marco Maggesi
5b730d301c
Update ocaml_batteries and camomile (ocamlPackages)
...
* Add camomile 0.8.3 and 0.8.2 (for ocaml_batteries).
* Remove obsolete camomile 0.7.3 and 0.8.1.
* Update ocaml_batteries to version 1.3.0 (also add fixes for Darwin).
svn path=/nixpkgs/trunk/; revision=27299
2011-05-24 18:21:13 +00: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
5e13810a01
* Remove useless code put by error in camomile
...
svn path=/nixpkgs/trunk/; revision=25221
2010-12-21 09:43:13 +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
f3eb5769ca
* Add ocamlnet
...
svn path=/nixpkgs/trunk/; revision=25072
2010-12-12 17:53:13 +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
ba8bc4dd33
* Add ocaml-sqlite3
...
svn path=/nixpkgs/trunk/; revision=25065
2010-12-11 15:05:26 +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
