diff options
author | Austin Seipp <aseipp@pobox.com> | 2020-03-17 05:26:27 -0500 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2020-03-17 17:19:37 -0500 |
commit | 9b43cf3a008b3a467f080d61365f037ad81807d0 (patch) | |
tree | 1f2ffc2844aaec5ce73de126ee8fa07efb895d81 /pkgs/applications/science/logic | |
parent | e86ec1042652cfc97d4409ae359dbb7c738499c2 (diff) | |
download | nixlib-9b43cf3a008b3a467f080d61365f037ad81807d0.tar nixlib-9b43cf3a008b3a467f080d61365f037ad81807d0.tar.gz nixlib-9b43cf3a008b3a467f080d61365f037ad81807d0.tar.bz2 nixlib-9b43cf3a008b3a467f080d61365f037ad81807d0.tar.lz nixlib-9b43cf3a008b3a467f080d61365f037ad81807d0.tar.xz nixlib-9b43cf3a008b3a467f080d61365f037ad81807d0.tar.zst nixlib-9b43cf3a008b3a467f080d61365f037ad81807d0.zip |
yosys: 2020.02.25 -> 2020.03.16
- Bump `abc-verifier` (2020.03.05) - Install `yosys-abc` symlink for tool compatbility - Various `yosys` expression cleanups Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/abc/default.nix | 39 |
1 files changed, 18 insertions, 21 deletions
diff --git a/pkgs/applications/science/logic/abc/default.nix b/pkgs/applications/science/logic/abc/default.nix index 8551a3ee4ca3..a33cc92c7ce7 100644 --- a/pkgs/applications/science/logic/abc/default.nix +++ b/pkgs/applications/science/logic/abc/default.nix @@ -1,35 +1,32 @@ -{ fetchFromGitHub, stdenv, readline, cmake }: +{ stdenv, fetchFromGitHub +, readline, cmake +}: -let - rev = "71f2b40320127561175ad60f6f2428f3438e5243"; -in stdenv.mkDerivation { - pname = "abc-verifier"; - version = "2020-01-11"; +stdenv.mkDerivation rec { + pname = "abc-verifier"; + version = "2020.03.05"; src = fetchFromGitHub { - inherit rev; - owner = "berkeley-abc"; - repo = "abc"; - sha256 = "15sn146ajxql7l1h8rsag5lhn4spwvgjhwzqawfr78snzadw8by3"; + owner = "berkeley-abc"; + repo = "abc"; + rev = "ed90ce20df9c7c4d6e1db5d3f786f9b52e06bab1"; + sha256 = "01sw67pkrb6wzflkxbkxzwsnli3nvp0yxwp3j1ngb3c0j86ri437"; }; - passthru.rev = rev; - nativeBuildInputs = [ cmake ]; buildInputs = [ readline ]; enableParallelBuilding = true; + installPhase = "mkdir -p $out/bin && mv abc $out/bin"; - installPhase = '' - mkdir -p $out/bin - mv abc $out/bin - ''; + # needed by yosys + passthru.rev = src.rev; - meta = { + meta = with stdenv.lib; { description = "A tool for squential logic synthesis and formal verification"; - homepage = https://people.eecs.berkeley.edu/~alanmi/abc; - license = stdenv.lib.licenses.mit; - platforms = stdenv.lib.platforms.unix; - maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; + homepage = "https://people.eecs.berkeley.edu/~alanmi/abc"; + license = licenses.mit; + platforms = platforms.unix; + maintainers = with maintainers; [ thoughtpolice ]; }; } |