mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-25 23:20:55 +00:00
Code Issues Wiki Activity
23444 commits 224 branches 124 tags 7.2 GiB
Commit graph

17 commits

Author SHA1 Message Date
Malcolm Matalka 5ff6be9224 Support installing findlib 2012-11-16 11:43:43 +01:00
Malcolm Matalka 6299baeb88 Support installing topfind now 2012-11-16 11:43:32 +01:00
Marco Maggesi 2221bf0593 Update camlp5 to 6.06. 2012-10-09 14:03:12 -04:00
Arie Middelkoop 5bc99bc883 Adds Ocaml 4.00.0 (first attempt) 
Bumps Findlib to 1.3.3 (required for ocaml 4.00)
 2012-07-31 14:09:27 +02: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
Marco Maggesi 82fabd6262 Update ocaml-findlib to version 1.2.7 
svn path=/nixpkgs/trunk/; revision=30925
 2011-12-16 09:22:31 +00:00
Marco Maggesi 8d4b5bcd0c Upgrade camlp5 to version 6.02.3-1 (contributed by Russell O'Connor). 
Keep the old version 5.15 to allow a smooth migration.


svn path=/nixpkgs/trunk/; revision=30575
 2011-11-26 19:39:14 +00:00
Russell O'Connor 8c40562197 New package for CamlIDL 1.05 
svn path=/nixpkgs/trunk/; revision=29619
 2011-10-04 01:40:45 +00:00
Marco Maggesi 51d6c8df91 * Handle variable createFindlibDestdir correctly in ocaml-findlib 
* Fix HOL Light derivation

svn path=/nixpkgs/trunk/; revision=25269
 2010-12-23 19:28:06 +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 2c85e4b96f * Remove the automatic creation of a directory from the setupHook of findlib since this can silently produce empty paths in derivations 
svn path=/nixpkgs/trunk/; revision=25219
 2010-12-21 08:33:37 +00:00
Marco Maggesi e7accaf8d3 * Update camlp5 
svn path=/nixpkgs/trunk/; revision=25206
 2010-12-20 10:32:22 +00:00
Marco Maggesi d3f00b9cf5 * Add findlib to hydra 
svn path=/nixpkgs/trunk/; revision=25205
 2010-12-20 09:53:41 +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
David Guibert b0859969a5 omake: version 0.9.8.5 
svn path=/nixpkgs/trunk/; revision=22019
 2010-05-27 19:44:03 +00:00
Marco Maggesi a0207b3dc7 Updated Coq to version 8.2pl1 
svn path=/nixpkgs/trunk/; revision=18069
 2009-11-02 11:44:27 +00:00
Marco Maggesi c4533b8d24 Added camlp5 the preprocessor-pretty-printer for OCaml 
svn path=/nixpkgs/trunk/; revision=18068
 2009-11-02 10:47:24 +00:00