diff options
author | Will Dietz <w@wdtz.org> | 2018-07-12 21:36:01 -0500 |
---|---|---|
committer | Will Dietz <w@wdtz.org> | 2018-07-12 21:44:56 -0500 |
commit | f731c99e7d3274d798e5457f434e657ac168be33 (patch) | |
tree | 68ee2f28a59d96ba091bb8779602f41a0856da08 /pkgs/applications/science/logic | |
parent | 9bbb84f622e8c421419e6ca9949a5b55e25c4be8 (diff) | |
download | nixlib-f731c99e7d3274d798e5457f434e657ac168be33.tar nixlib-f731c99e7d3274d798e5457f434e657ac168be33.tar.gz nixlib-f731c99e7d3274d798e5457f434e657ac168be33.tar.bz2 nixlib-f731c99e7d3274d798e5457f434e657ac168be33.tar.lz nixlib-f731c99e7d3274d798e5457f434e657ac168be33.tar.xz nixlib-f731c99e7d3274d798e5457f434e657ac168be33.tar.zst nixlib-f731c99e7d3274d798e5457f434e657ac168be33.zip |
abc-verifier: 20160818 -> 2018-07-08
Now hosted on github.
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/abc/default.nix | 21 |
1 files changed, 11 insertions, 10 deletions
diff --git a/pkgs/applications/science/logic/abc/default.nix b/pkgs/applications/science/logic/abc/default.nix index bab9b302d7d1..6e7a3cfc88ac 100644 --- a/pkgs/applications/science/logic/abc/default.nix +++ b/pkgs/applications/science/logic/abc/default.nix @@ -1,20 +1,21 @@ -{ fetchhg, stdenv, readline }: +{ fetchFromGitHub, stdenv, readline, cmake }: stdenv.mkDerivation rec { name = "abc-verifier-${version}"; - version = "20160818"; + version = "2018-07-08"; - src = fetchhg { - url = "https://bitbucket.org/alanmi/abc"; - rev = "a2e5bc66a68a72ccd267949e5c9973dd18f8932a"; - sha256 = "09yvhj53af91nc54gmy7cbp7yljfcyj68a87494r5xvdfnsj11gy"; + src = fetchFromGitHub { + owner = "berkeley-abc"; + repo = "abc"; + rev = "24407e13db4b8ca16c3996049b2d33ec3722de39"; + sha256 = "1rckji7nk81n6v1yajz7daqwipxacv7zlafknvmbiwji30j47sq5"; }; + nativeBuildInputs = [ cmake ]; buildInputs = [ readline ]; - preBuild = '' - export buildFlags="CC=$CC CXX=$CXX LD=$CXX" - ''; + enableParallelBuilding = true; + installPhase = '' mkdir -p $out/bin mv abc $out/bin @@ -22,7 +23,7 @@ stdenv.mkDerivation rec { meta = { description = "A tool for squential logic synthesis and formal verification"; - homepage = "https://people.eecs.berkeley.edu/~alanmi/abc/abc.htm"; + homepage = https://people.eecs.berkeley.edu/~alanmi/abc; license = stdenv.lib.licenses.mit; platforms = stdenv.lib.platforms.unix; maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; |