diff options
Diffstat (limited to 'infra/libkookie/nixpkgs/pkgs/applications/science/logic/abc/default.nix')
-rw-r--r-- | infra/libkookie/nixpkgs/pkgs/applications/science/logic/abc/default.nix | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/infra/libkookie/nixpkgs/pkgs/applications/science/logic/abc/default.nix b/infra/libkookie/nixpkgs/pkgs/applications/science/logic/abc/default.nix new file mode 100644 index 000000000000..426c5a9df323 --- /dev/null +++ b/infra/libkookie/nixpkgs/pkgs/applications/science/logic/abc/default.nix @@ -0,0 +1,32 @@ +{ stdenv, fetchFromGitHub +, readline, cmake +}: + +stdenv.mkDerivation rec { + pname = "abc-verifier"; + version = "2020.11.24"; + + src = fetchFromGitHub { + owner = "yosyshq"; + repo = "abc"; + rev = "4f5f73d18b137930fb3048c0b385c82fa078db38"; + sha256 = "0z1kp223kix7i4r7mbj2bzawkdzc55nsgc41m85dmbajl9fsj1m0"; + }; + + nativeBuildInputs = [ cmake ]; + buildInputs = [ readline ]; + + enableParallelBuilding = true; + installPhase = "mkdir -p $out/bin && mv abc $out/bin"; + + # needed by yosys + passthru.rev = src.rev; + + meta = with stdenv.lib; { + description = "A tool for squential logic synthesis and formal verification"; + homepage = "https://people.eecs.berkeley.edu/~alanmi/abc"; + license = licenses.mit; + platforms = platforms.unix; + maintainers = with maintainers; [ thoughtpolice ]; + }; +} |