Vincent Bernardoff
ce422b4553
Updated OCaml package findlib
2014-04-21 23:06:35 +02:00
Shea Levy
80ed0ff85f
Merge branch 'ocaml-oasis' of git://github.com/maggesi/nixpkgs
...
Ocaml oasis
2014-03-15 13:14:14 -04:00
Malcolm Matalka
83c5d12d4c
Add opam 1.1.1
2014-02-22 19:08:54 +01:00
Marco Maggesi
f3a49abf08
Add OCaml Oasis
...
OCaml Oasis is a configure/build/install system for OCaml proget (like
Cabal for Haskell).
This commit also add a few small dependencies that where missing
- OCaml Data Notation (odn)
- ocamlify
- ocamlmod
2014-01-31 12:01:32 +01:00
Marco Maggesi
389da8b64c
Update camlp5 to version 6.11
2014-01-18 20:56:44 +00:00
Marco Maggesi
cf6ac40585
Update OCaml findlib to version 1.4
2014-01-18 20:56:44 +00:00
Moritz Ulrich
e87515e519
Opam 1.1: Constrain supported ocaml versions.
...
Signed-off-by: Moritz Ulrich <moritz@tarn-vedra.de>
2013-12-25 14:43:23 +01:00
Malcolm Matalka
545216ee02
Opam: Update to 1.1.0
...
Also keeps 1.0 for backwards compatibility.
Signed-off-by: Moritz Ulrich <moritz@tarn-vedra.de>
2013-12-25 14:18:28 +01:00
Evgeny Egorochkin
f5f76e6446
ocamlPackages.deriving: fix version
2013-06-19 03:20:00 +03:00
Marc Weber
d25d1e4d24
ocaml adding deriving
2013-06-19 03:07:27 +03:00
Christophe Raffalli
356983074e
Forgotten to add wanr.patch for omake.
2013-06-07 21:58:19 +02:00
Christophe Raffalli
87e1089498
Upgraded omake to 0.9.8.6_rc1. kept the previous version as default because this is a rc1.
...
This is necessary to compile the latest camlimages
2013-06-07 21:40:37 +02:00
Malcolm Matalka
27e2fb6895
Upgrade to 1.0.0
2013-03-15 12:41:01 +01:00
Shea Levy
b634efe63c
ocamlPackages.opam: Fix indentation
...
Signed-off-by: Shea Levy <shea@shealevy.com>
2013-03-08 17:12:56 -05:00
orbitz
55be059467
Add myself to maintainers, remove 0.9.4, set maintainer for this packge to me
2013-03-08 22:59:54 +01:00
orbitz
98a6759bc7
Delete 0.9.4
2013-03-08 22:48:58 +01:00
orbitz
fd48192018
Add opam 0.9.5
2013-03-08 22:42:22 +01:00
orbitz
6da29419e4
Add opam 0.9.4
2013-03-08 11:56:50 +01:00
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