JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
121,472 Commits 2 Branches 0 Tags 12 GiB
2492f45565
Commit Graph

874 Commits

Author SHA1 Message Date
Arie Middelkoop
31ffda057e Fix of the ocaml pcre nix expr. Added 'pcre' as propagated build input. 
svn path=/nixpkgs/trunk/; revision=33349
 2012-03-22 10:31:10 +00:00
Yury G. Kudryashov
0210e20b5a svn merge ^/nixpkgs/trunk 
svn path=/nixpkgs/branches/stdenv-updates/; revision=32713
 2012-03-01 07:04:39 +00:00
Arie Middelkoop
d9f5e277a5 OCamlMakefile update. 
svn path=/nixpkgs/trunk/; revision=32687
 2012-02-29 12:51:06 +00:00
Eelco Dolstra
c556a6ea46 * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 
function, so obsolete it.

svn path=/nixpkgs/branches/stdenv-updates/; revision=31644
 2012-01-18 20:16:00 +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