diff options
Diffstat (limited to 'pkgs/development')
| -rw-r--r-- | pkgs/development/ocaml-modules/menhir/generic.nix | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/pkgs/development/ocaml-modules/menhir/generic.nix b/pkgs/development/ocaml-modules/menhir/generic.nix index 088c2db061b..c182d210049 100644 --- a/pkgs/development/ocaml-modules/menhir/generic.nix +++ b/pkgs/development/ocaml-modules/menhir/generic.nix @@ -13,16 +13,14 @@ stdenv.mkDerivation { createFindlibDestdir = true; preBuild = '' - #Fix makefiles. + # fix makefiles. RM=$(type -p rm) CHMOD=$(type -p chmod) - ENV=$(type -p env) - for f in src/Makefile demos/OMakefile* demos/Makefile* demos/ocamldep.wrapper + for f in src/Makefile demos/OMakefile* demos/Makefile* do substituteInPlace $f \ --replace /bin/rm $RM \ - --replace /bin/chmod $CHMOD \ - --replace /usr/bin/env $ENV + --replace /bin/chmod $CHMOD done export PREFIX=$out |