pyrox.dev
HOL Light: findlib is not necessary (nor actually used). Remove dependency.
+2
-2
pkgs/applications/science/logic/hol_light/default.nix
+2
-2
pkgs/applications/science/logic/hol_light/default.nix
···
1
-
{ stdenv, fetchsvn, writeScript, ocaml, findlib, camlp5 }:
1
+
{ stdenv, fetchsvn, writeScript, ocaml, camlp5 }:
2
2
3
3
let
4
4
start_script = ''
···
18
18
sha256 = "1qzb48j7zbx7c327ixmvq2k0ap7y6fqvwal0195chfxvhs858lfq";
19
19
};
20
20
21
-
buildInputs = [ ocaml findlib camlp5 ];
21
+
buildInputs = [ ocaml camlp5 ];
22
22
23
23
installPhase = ''
24
24
mkdir -p "$out/lib/hol_light" "$out/bin"