diff options
Diffstat (limited to 'nixpkgs/pkgs/development/interpreters/acl2/default.nix')
| -rw-r--r-- | nixpkgs/pkgs/development/interpreters/acl2/default.nix | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/nixpkgs/pkgs/development/interpreters/acl2/default.nix b/nixpkgs/pkgs/development/interpreters/acl2/default.nix index 9436cf58e427..a1b59b8bf69d 100644 --- a/nixpkgs/pkgs/development/interpreters/acl2/default.nix +++ b/nixpkgs/pkgs/development/interpreters/acl2/default.nix @@ -1,5 +1,5 @@ { lib, stdenv, callPackage, fetchFromGitHub, runCommandLocal, makeWrapper, substituteAll -, sbcl, bash, which, perl, nettools +, sbcl, bash, which, perl, hostname , openssl, glucose, minisat, abc-verifier, z3, python , certifyBooks ? true } @ args: @@ -36,7 +36,8 @@ in stdenv.mkDerivation rec { patches = [(substituteAll { src = ./0001-Fix-some-paths-for-Nix-build.patch; libipasir = "${libipasir}/lib/${libipasir.libname}"; - openssl = openssl.out; + libssl = "${openssl.out}/lib/libssl${stdenv.hostPlatform.extensions.sharedLibrary}"; + libcrypto = "${openssl.out}/lib/libcrypto${stdenv.hostPlatform.extensions.sharedLibrary}"; })]; buildInputs = [ @@ -44,7 +45,7 @@ in stdenv.mkDerivation rec { sbcl ] ++ lib.optionals certifyBooks [ # To build community books, we need Perl and a couple of utilities: - which perl nettools makeWrapper + which perl hostname makeWrapper # Some of the books require one or more of these external tools: openssl.out glucose minisat abc-verifier libipasir z3 (python.withPackages (ps: [ ps.z3 ])) |