diff options
author | Russell O'Connor <roconnor@theorem.ca> | 2011-11-24 19:43:03 +0000 |
---|---|---|
committer | Russell O'Connor <roconnor@theorem.ca> | 2011-11-24 19:43:03 +0000 |
commit | 845f2a8658af89c96c66a5989cf383a09ba8c56e (patch) | |
tree | 8907b877f664313d95320a74635a5e32c036db91 /pkgs/development | |
parent | 0d124624e8bc2e44e30a5acea50b45f3d979799e (diff) | |
download | nixlib-845f2a8658af89c96c66a5989cf383a09ba8c56e.tar nixlib-845f2a8658af89c96c66a5989cf383a09ba8c56e.tar.gz nixlib-845f2a8658af89c96c66a5989cf383a09ba8c56e.tar.bz2 nixlib-845f2a8658af89c96c66a5989cf383a09ba8c56e.tar.lz nixlib-845f2a8658af89c96c66a5989cf383a09ba8c56e.tar.xz nixlib-845f2a8658af89c96c66a5989cf383a09ba8c56e.tar.zst nixlib-845f2a8658af89c96c66a5989cf383a09ba8c56e.zip |
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
Diffstat (limited to 'pkgs/development')
-rw-r--r-- | pkgs/development/ocaml-modules/ulex/0.8/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/ulex/0.8/default.nix b/pkgs/development/ocaml-modules/ulex/0.8/default.nix index 169f3bfad8c2..e996b6223b1e 100644 --- a/pkgs/development/ocaml-modules/ulex/0.8/default.nix +++ b/pkgs/development/ocaml-modules/ulex/0.8/default.nix @@ -21,6 +21,8 @@ stdenv.mkDerivation { patches = [ ./meta_version.patch ./camlp5.patch ]; + propagatedBuildInputs = [ camlp5 ]; + buildFlags = "all all.opt"; meta = { |