diff options
Diffstat (limited to 'infra/libkookie/nixpkgs/pkgs/applications/science/logic/btor2tools/default.nix')
-rw-r--r-- | infra/libkookie/nixpkgs/pkgs/applications/science/logic/btor2tools/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/infra/libkookie/nixpkgs/pkgs/applications/science/logic/btor2tools/default.nix b/infra/libkookie/nixpkgs/pkgs/applications/science/logic/btor2tools/default.nix index 714ab49524b0..7d2aed7596e8 100644 --- a/infra/libkookie/nixpkgs/pkgs/applications/science/logic/btor2tools/default.nix +++ b/infra/libkookie/nixpkgs/pkgs/applications/science/logic/btor2tools/default.nix @@ -1,4 +1,4 @@ -{ stdenv, cmake, fetchFromGitHub }: +{ stdenv, cmake, fetchFromGitHub, fixDarwinDylibNames }: stdenv.mkDerivation rec { pname = "btor2tools"; @@ -11,7 +11,7 @@ stdenv.mkDerivation rec { sha256 = "0mfqmkgvyw8fa2c09kww107dmk180ch1hp98r5kv41vnc04iqb0s"; }; - nativeBuildInputs = [ cmake ]; + nativeBuildInputs = [ cmake ] ++ stdenv.lib.optional stdenv.isDarwin fixDarwinDylibNames; installPhase = '' mkdir -p $out $dev/include/btor2parser/ $lib/lib @@ -27,7 +27,7 @@ stdenv.mkDerivation rec { description = "A generic parser and tool package for the BTOR2 format"; homepage = "https://github.com/Boolector/btor2tools"; license = licenses.mit; - platforms = platforms.linux; + platforms = platforms.unix; maintainers = with maintainers; [ thoughtpolice ]; }; } |