philipp/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Activity
%!d() commits 3 branches 0 tags 1.4 GiB
Commit graph

21 commits

Author SHA1 Message Date
Arie Middelkoop d9f5e277a5 OCamlMakefile update. 
svn path=/nixpkgs/trunk/; revision=32687
 2012-02-29 12:51:06 +00:00
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