swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-09-21 12:59:04 +02:00
Code Issues Packages Projects Releases Wiki Activity

aspino: init at 2016-01-31

Browse source
This commit is contained in:
Gabriel Ebner 2016-06-21 13:55:28 +02:00
parent 8f84a5cb08
commit 0a8e613cea
2 changed files with 33 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

31
pkgs/applications/science/logic/aspino/default.nix Normal file
View file

@ -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/;
};
}

2
pkgs/top-level/all-packages.nix
View file

@ -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;