alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
217467 commits 217 branches 121 tags 4.5 GiB
Commit graph

15 commits

Author SHA1 Message Date
Merijn Broeren 133103d709
treewide: replace make/build/configure/patchFlags with nix lists 2019-12-30 12:58:11 +01:00
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