14 commits

Author	SHA1	Message	Date
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