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/ocaml-modules | |
| parent | 0d124624e8bc2e44e30a5acea50b45f3d979799e (diff) | |
| download | nixpkgs-845f2a8658af89c96c66a5989cf383a09ba8c56e.tar nixpkgs-845f2a8658af89c96c66a5989cf383a09ba8c56e.tar.gz nixpkgs-845f2a8658af89c96c66a5989cf383a09ba8c56e.tar.bz2 nixpkgs-845f2a8658af89c96c66a5989cf383a09ba8c56e.tar.lz nixpkgs-845f2a8658af89c96c66a5989cf383a09ba8c56e.tar.xz nixpkgs-845f2a8658af89c96c66a5989cf383a09ba8c56e.tar.zst nixpkgs-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/ocaml-modules')
| -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 169f3bfad8c..e996b6223b1 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 = { |