diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2016-06-21 13:55:28 +0200 |
|---|---|---|
| committer | Gabriel Ebner <gebner@gebner.org> | 2016-06-21 13:55:28 +0200 |
| commit | 0a8e613cea27d4a32ea43e73c2b5bf0ebcb54211 (patch) | |
| tree | 6aedee22b2858c807c939605c5b4b73a093935ab | |
| parent | 8f84a5cb0861f91fcb62785bd77c0a512a9768ab (diff) | |
| download | nixlib-0a8e613cea27d4a32ea43e73c2b5bf0ebcb54211.tar nixlib-0a8e613cea27d4a32ea43e73c2b5bf0ebcb54211.tar.gz nixlib-0a8e613cea27d4a32ea43e73c2b5bf0ebcb54211.tar.bz2 nixlib-0a8e613cea27d4a32ea43e73c2b5bf0ebcb54211.tar.lz nixlib-0a8e613cea27d4a32ea43e73c2b5bf0ebcb54211.tar.xz nixlib-0a8e613cea27d4a32ea43e73c2b5bf0ebcb54211.tar.zst nixlib-0a8e613cea27d4a32ea43e73c2b5bf0ebcb54211.zip | |
aspino: init at 2016-01-31
| -rw-r--r-- | pkgs/applications/science/logic/aspino/default.nix | 31 | ||||
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
2 files changed, 33 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/aspino/default.nix b/pkgs/applications/science/logic/aspino/default.nix new file mode 100644 index 000000000000..5207245b0ba6 --- /dev/null +++ b/pkgs/applications/science/logic/aspino/default.nix @@ -0,0 +1,31 @@ +{ stdenv, fetchFromGitHub, zlib, boost, glucose }: +stdenv.mkDerivation rec { + name = "aspino-2016-01-31"; + + src = fetchFromGitHub { + owner = "alviano"; + repo = "aspino"; + rev = "d28579b5967988b88bce6d9964a8f0a926286e9c"; + sha256 = "0r9dnkq3rldv5hhnmycmzqyg23hv5w3g3i5a00a8zalnzfiyirnq"; + }; + + buildInputs = [ zlib boost ]; + + preBuild = '' + cp ${glucose.src} patches/glucose-syrup.tgz + ./bootstrap.sh + ''; + + installPhase = '' + mkdir -p $out/bin + install -m0755 build/release/{aspino,fairino-{bs,ls,ps},maxino-2015-{k16,kdyn}} $out/bin + ''; + + meta = with stdenv.lib; { + description = "SAT/PseudoBoolean/MaxSat/ASP solver using glucose"; + maintainers = with maintainers; [ gebner ]; + platforms = platforms.unix; + license = licenses.asl20; + homepage = http://alviano.net/software/maxino/; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 00a64d76d608..5b4b6936cc13 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -16124,6 +16124,8 @@ in alt-ergo = callPackage ../applications/science/logic/alt-ergo {}; + aspino = callPackage ../applications/science/logic/aspino {}; + coq = callPackage ../applications/science/logic/coq { inherit (ocamlPackages_4_01_0) ocaml findlib lablgtk; camlp5 = ocamlPackages_4_01_0.camlp5_transitional; |