diff options
| author | Marco Maggesi <maggesi@math.unifi.it> | 2015-09-13 18:01:04 +0200 |
|---|---|---|
| committer | Marco Maggesi <maggesi@math.unifi.it> | 2015-09-13 18:08:20 +0200 |
| commit | cb2a05b826ae5a16ae8d4fdd43f7ff2fa9691e88 (patch) | |
| tree | 7b1a9eb4271924c21851915d409ed2758c5bef17 /pkgs/applications | |
| parent | 89f652c6736e7b67711fc5b9e152592bddadadaa (diff) | |
| download | nixlib-cb2a05b826ae5a16ae8d4fdd43f7ff2fa9691e88.tar nixlib-cb2a05b826ae5a16ae8d4fdd43f7ff2fa9691e88.tar.gz nixlib-cb2a05b826ae5a16ae8d4fdd43f7ff2fa9691e88.tar.bz2 nixlib-cb2a05b826ae5a16ae8d4fdd43f7ff2fa9691e88.tar.lz nixlib-cb2a05b826ae5a16ae8d4fdd43f7ff2fa9691e88.tar.xz nixlib-cb2a05b826ae5a16ae8d4fdd43f7ff2fa9691e88.tar.zst nixlib-cb2a05b826ae5a16ae8d4fdd43f7ff2fa9691e88.zip | |
HOL Light: findlib is not necessary (nor actually used). Remove dependency.
Diffstat (limited to 'pkgs/applications')
| -rw-r--r-- | pkgs/applications/science/logic/hol_light/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/hol_light/default.nix b/pkgs/applications/science/logic/hol_light/default.nix index b50501a6d34c..7653e137e260 100644 --- a/pkgs/applications/science/logic/hol_light/default.nix +++ b/pkgs/applications/science/logic/hol_light/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchsvn, writeScript, ocaml, findlib, camlp5 }: +{ stdenv, fetchsvn, writeScript, ocaml, camlp5 }: let start_script = '' @@ -18,7 +18,7 @@ stdenv.mkDerivation rec { sha256 = "1qzb48j7zbx7c327ixmvq2k0ap7y6fqvwal0195chfxvhs858lfq"; }; - buildInputs = [ ocaml findlib camlp5 ]; + buildInputs = [ ocaml camlp5 ]; installPhase = '' mkdir -p "$out/lib/hol_light" "$out/bin" |