From cb2a05b826ae5a16ae8d4fdd43f7ff2fa9691e88 Mon Sep 17 00:00:00 2001 From: Marco Maggesi Date: Sun, 13 Sep 2015 18:01:04 +0200 Subject: [PATCH] HOL Light: findlib is not necessary (nor actually used). Remove dependency. --- pkgs/applications/science/logic/hol_light/default.nix | 4 ++-- 1 file 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"