Théo Zimmermann
eaf0de5985
ulex: remove version 0.8
2018-10-10 19:42:54 +02:00
Vincent Laporte
84e3cece28
ocamlPackages.ulex08: disable for OCaml ≥ 4.06
2018-08-29 12:49:41 +00:00
Vincent Laporte
b1659c89c1
ocamlPackages.ulex: 1.1 -> 1.2
2017-12-10 12:24:10 +01:00
Vincent Laporte
4168706d4f
OCaml modules: make explicit some dependencies to ocamlbuild
2016-10-09 11:55:19 +02:00
Kirill Boltaev
3e646865f4
treewide: use ocaml.version ( #19192 )
2016-10-05 09:32:30 +02:00
Nicolas B. Pierron
72c6f8a140
Ensure that we can evaluate the platform attribute of ocaml packages.
2016-03-13 19:08:26 +00:00
Matthew Maurer
028f6b3b62
ulex: enable mac building
...
I've tested that ulex builds (and works) on OSX, and see no reason
it would not do so on other platforms, so I'm lifting the linux
restriction in platforms.
2015-07-01 20:17:03 +00:00
Vincent Laporte
e63c1ea33e
ocaml-ulex: fix build with OCaml-4.02 (depends on camlp4)
2015-06-25 08:55:28 +02:00
Joachim Fasting
bf7ad2d84f
meta.description fixups
...
Mostly scripted substitutions with a couple of subjective enhancements.
2015-04-30 18:17:42 +02:00
Domen Kožar
3cb1ce8577
ulex: set platforms
...
(cherry picked from commit 827a9bbd44
)
Signed-off-by: Domen Kožar <domen@dev.si>
2014-12-18 10:01:50 +01:00
Mateusz Kowalczyk
7a45996233
Turn some license strings into lib.licenses values
2014-07-28 11:31:14 +02: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
Russell O'Connor
88ec92d14c
Matita and its dependencies.
...
svn path=/nixpkgs/trunk/; revision=25328
2010-12-31 17:48:55 +00:00