diff options
author | Austin Seipp <aseipp@pobox.com> | 2017-10-16 05:13:46 -0500 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2017-10-16 12:01:17 -0500 |
commit | 635fbcbd33e80663824164bd17571cc45c8bb934 (patch) | |
tree | 614d416fef796253bba3153b67dfa8f4804d99a7 /pkgs | |
parent | b72f543f96159a07ca3e51f43b05b5b724c09b31 (diff) | |
download | nixlib-635fbcbd33e80663824164bd17571cc45c8bb934.tar nixlib-635fbcbd33e80663824164bd17571cc45c8bb934.tar.gz nixlib-635fbcbd33e80663824164bd17571cc45c8bb934.tar.bz2 nixlib-635fbcbd33e80663824164bd17571cc45c8bb934.tar.lz nixlib-635fbcbd33e80663824164bd17571cc45c8bb934.tar.xz nixlib-635fbcbd33e80663824164bd17571cc45c8bb934.tar.zst nixlib-635fbcbd33e80663824164bd17571cc45c8bb934.zip |
nixpkgs: add aiger 1.9.9
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/applications/science/logic/aiger/default.nix | 53 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
2 files changed, 55 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/aiger/default.nix b/pkgs/applications/science/logic/aiger/default.nix new file mode 100644 index 000000000000..2b959c72d379 --- /dev/null +++ b/pkgs/applications/science/logic/aiger/default.nix @@ -0,0 +1,53 @@ +{ stdenv, fetchurl, picosat }: + +stdenv.mkDerivation rec { + name = "aiger-${version}"; + version = "1.9.9"; + + src = fetchurl { + url = "http://fmv.jku/aiger/${name}.tar.gz"; + sha256 = "1ish0dw0nf9gyghxsdhpy1jjiy5wp54c993swp85xp7m6vdx6l0y"; + }; + + enableParallelBuilding = true; + + configurePhase = '' + # Set up picosat, so we can build 'aigbmc' + echo $(pwd) + ls .. + mkdir ../picosat + ln -s ${picosat}/include/picosat/picosat.h ../picosat/picosat.h + ln -s ${picosat}/lib/picosat.o ../picosat/picosat.o + ln -s ${picosat}/share/picosat.version ../picosat/VERSION + ls .. + ./configure.sh + ''; + + installPhase = '' + mkdir -p $out/bin + + # Do the installation manually, as the Makefile has odd + # cyrillic characters, and this is easier than adding + # a whole .patch file. + BINS=( \ + aigand aigdd aigflip aigfuzz aiginfo aigjoin \ + aigmiter aigmove aignm aigor aigreset aigsim \ + aigsplit aigstrip aigtoaig aigtoblif aigtocnf \ + aigtodot aigtosmv aigunconstraint aigunroll \ + andtoaig bliftoaig smvtoaig soltostim wrapstim \ + aigbmc aigdep + ) + + for x in ''${BINS[*]}; do + install -m 755 -s $x $out/bin/$x + done + ''; + + meta = { + description = "And-Inverter Graph (AIG) utilities"; + homepage = http://fmv.jku.at/aiger/; + license = stdenv.lib.licenses.mit; + maintainers = with stdenv.lib.maintainers; [ thoughtpolice ]; + platforms = stdenv.lib.platforms.linux; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index cee09d729877..d6394c53b6e4 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -18682,6 +18682,8 @@ with pkgs; z3 = callPackage ../applications/science/logic/z3 {}; + aiger = callPackage ../applications/science/logic/aiger {}; + avy = callPackage ../applications/science/logic/avy {}; boolector = callPackage ../applications/science/logic/boolector {}; |