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/applications/science/logic | |
| parent | 740fb165da558cd0f341ddd46a4ff2585a3a294c (diff) | |
| download | nixlib-e84cec2762312aed553217117733ecf7fe5bff12.tar nixlib-e84cec2762312aed553217117733ecf7fe5bff12.tar.gz nixlib-e84cec2762312aed553217117733ecf7fe5bff12.tar.bz2 nixlib-e84cec2762312aed553217117733ecf7fe5bff12.tar.lz nixlib-e84cec2762312aed553217117733ecf7fe5bff12.tar.xz nixlib-e84cec2762312aed553217117733ecf7fe5bff12.tar.zst nixlib-e84cec2762312aed553217117733ecf7fe5bff12.zip | |
nixpkgs: add 'avy' -- property directed AIGER model checking
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/applications/science/logic')
| -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 |
2 files changed, 44 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 000000000000..a53142faba66 --- /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 000000000000..379224c73f89 --- /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; + }; +} |