diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2010-12-28 16:42:00 +0000 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2010-12-28 16:42:00 +0000 |
commit | aa6f43149a7b5772fe9f0b3699261be28c16ad3b (patch) | |
tree | 5dfdce610aa30bf6918d29f53aab8db041ac0d51 /pkgs/applications/science | |
parent | 9d617d90d0a16d70ef46b67d0e3312f75f4f220d (diff) | |
parent | 7df337558a622da0c7077ec7fabb8301f18d0402 (diff) | |
download | nixlib-aa6f43149a7b5772fe9f0b3699261be28c16ad3b.tar nixlib-aa6f43149a7b5772fe9f0b3699261be28c16ad3b.tar.gz nixlib-aa6f43149a7b5772fe9f0b3699261be28c16ad3b.tar.bz2 nixlib-aa6f43149a7b5772fe9f0b3699261be28c16ad3b.tar.lz nixlib-aa6f43149a7b5772fe9f0b3699261be28c16ad3b.tar.xz nixlib-aa6f43149a7b5772fe9f0b3699261be28c16ad3b.tar.zst nixlib-aa6f43149a7b5772fe9f0b3699261be28c16ad3b.zip |
* Sync with the trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25308
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/hol_light/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/applications/science/logic/hol_light/default.nix b/pkgs/applications/science/logic/hol_light/default.nix index 932412daf75c..f923095f857e 100644 --- a/pkgs/applications/science/logic/hol_light/default.nix +++ b/pkgs/applications/science/logic/hol_light/default.nix @@ -1,4 +1,4 @@ -{stdenv, writeText, writeTextFile, ocaml, camlp5_transitional, hol_light_sources}: +{stdenv, writeText, writeTextFile, ocaml, findlib, camlp5_transitional, hol_light_sources}: let version = hol_light_sources.version; @@ -10,11 +10,11 @@ let pa_j_cmo = stdenv.mkDerivation { name = "pa_j.cmo"; inherit ocaml camlp5; - buildInputs = [ ocaml camlp5 ]; + buildInputs = [ ocaml camlp5 findlib ]; buildCommand = '' ocamlc -c \ -pp "camlp5r pa_lexer.cmo pa_extend.cmo q_MLast.cmo" \ - -I "${camlp5}/lib/ocaml/camlp5" \ + -I "$(ocamlfind query camlp5)" \ -o $out \ "${hol_light_src_dir}/pa_j_`ocamlc -version | cut -c1-4`.ml" ''; @@ -22,7 +22,7 @@ let start_ml = writeText "start.ml" '' Topdirs.dir_directory "${hol_light_src_dir}";; - Topdirs.dir_directory "${camlp5}/lib/ocaml/camlp5";; + Topdirs.dir_directory ("${camlp5}/lib/ocaml/"^Sys.ocaml_version^"/site-lib/camlp5");; Topdirs.dir_load Format.std_formatter "camlp5o.cma";; Topdirs.dir_load Format.std_formatter "${pa_j_cmo}";; #use "${hol_light_src_dir}/make.ml";; |