public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

btor2tools: fix install_name on darwin

Browse Source
This commit is contained in:
Artur Cygan 2020-11-29 22:31:31 +01:00
parent 84a942c3b1
commit 38e6f15d98
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/applications/science/logic/btor2tools/default.nix
View File

@ -1,4 +1,4 @@
{ stdenv, cmake, fetchFromGitHub }: { stdenv, cmake, fetchFromGitHub, fixDarwinDylibNames }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "btor2tools"; pname = "btor2tools";
@ -11,7 +11,7 @@ stdenv.mkDerivation rec {
sha256 = "0mfqmkgvyw8fa2c09kww107dmk180ch1hp98r5kv41vnc04iqb0s"; sha256 = "0mfqmkgvyw8fa2c09kww107dmk180ch1hp98r5kv41vnc04iqb0s";
}; };
nativeBuildInputs = [ cmake ]; nativeBuildInputs = [ cmake ] ++ stdenv.lib.optional stdenv.isDarwin fixDarwinDylibNames;
installPhase = '' installPhase = ''
mkdir -p $out $dev/include/btor2parser/ $lib/lib mkdir -p $out $dev/include/btor2parser/ $lib/lib