diff options
| author | Austin Seipp <aseipp@pobox.com> | 2017-10-16 03:56:08 -0500 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2017-10-16 12:01:17 -0500 |
| commit | e84cec2762312aed553217117733ecf7fe5bff12 (patch) | |
| tree | acc4e0151cc1eca0036a21b72f2b7cbe1df285e8 /pkgs | |
| parent | 740fb165da558cd0f341ddd46a4ff2585a3a294c (diff) | |
| download | nixpkgs-e84cec2762312aed553217117733ecf7fe5bff12.tar nixpkgs-e84cec2762312aed553217117733ecf7fe5bff12.tar.gz nixpkgs-e84cec2762312aed553217117733ecf7fe5bff12.tar.bz2 nixpkgs-e84cec2762312aed553217117733ecf7fe5bff12.tar.lz nixpkgs-e84cec2762312aed553217117733ecf7fe5bff12.tar.xz nixpkgs-e84cec2762312aed553217117733ecf7fe5bff12.tar.zst nixpkgs-e84cec2762312aed553217117733ecf7fe5bff12.zip | |
nixpkgs: add 'avy' -- property directed AIGER model checking
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/applications/science/logic/avy/0001-no-static-boost-libs.patch | 12 | ||||
| -rw-r--r-- | pkgs/applications/science/logic/avy/default.nix | 32 | ||||
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
3 files changed, 46 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/avy/0001-no-static-boost-libs.patch b/pkgs/applications/science/logic/avy/0001-no-static-boost-libs.patch new file mode 100644 index 00000000000..a53142faba6 --- /dev/null +++ b/pkgs/applications/science/logic/avy/0001-no-static-boost-libs.patch @@ -0,0 +1,12 @@ +diff --git a/avy/CMakeLists.txt b/avy/CMakeLists.txt +index 5913076..b0453b5 100644 +--- a/avy/CMakeLists.txt ++++ b/avy/CMakeLists.txt +@@ -23,7 +23,6 @@ if (CUSTOM_BOOST_ROOT) + set (Boost_NO_SYSTEM_PATHS "ON") + endif() + +-set (Boost_USE_STATIC_LIBS ON) + find_package (Boost 1.46.1 REQUIRED program_options) + IF (Boost_FOUND) + include_directories (${Boost_INCLUDE_DIRS}) diff --git a/pkgs/applications/science/logic/avy/default.nix b/pkgs/applications/science/logic/avy/default.nix new file mode 100644 index 00000000000..379224c73f8 --- /dev/null +++ b/pkgs/applications/science/logic/avy/default.nix @@ -0,0 +1,32 @@ +{ stdenv, fetchgit, cmake, zlib, boost }: + +stdenv.mkDerivation rec { + name = "avy-${version}"; + version = "2017.10.16"; + + src = fetchgit { + url = "https://bitbucket.org/arieg/extavy"; + rev = "c75c83379c38d6ea1046d0caee95aef77283ffe3"; + sha256 = "0zcycnypg4q5g710bnkjpycaawmibc092vmyhgfbixkgq9fb5lfh"; + fetchSubmodules = true; + }; + + buildInputs = [ cmake zlib boost.out boost.dev ]; + NIX_CFLAGS_COMPILE = [ "-Wno-narrowing" ]; + patches = + [ ./0001-no-static-boost-libs.patch + ]; + + installPhase = '' + mkdir -p $out/bin + cp avy/src/{avy,avybmc} $out/bin/ + ''; + + meta = { + description = "AIGER model checking for Property Directed Reachability"; + homepage = https://arieg.bitbucket.io/avy/; + 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 1afc58c6a21..cee09d72987 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 {}; + avy = callPackage ../applications/science/logic/avy {}; + boolector = callPackage ../applications/science/logic/boolector {}; symbiyosys = callPackage ../applications/science/logic/symbiyosys {}; |