diff options
Diffstat (limited to 'pkgs/applications/science/logic/glucose/syrup.nix')
-rw-r--r-- | pkgs/applications/science/logic/glucose/syrup.nix | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/glucose/syrup.nix b/pkgs/applications/science/logic/glucose/syrup.nix new file mode 100644 index 0000000000000..7604ebc1a3d96 --- /dev/null +++ b/pkgs/applications/science/logic/glucose/syrup.nix @@ -0,0 +1,25 @@ +{ stdenv, fetchurl, zlib }: +stdenv.mkDerivation rec { + name = "glucose-syrup-${version}"; + version = "4.0"; + + src = fetchurl { + url = "http://www.labri.fr/perso/lsimon/downloads/softwares/glucose-syrup.tgz"; + sha256 = "0bq5l2jabhdfhng002qfk0mcj4pfi1v5853x3c7igwfrgx0jmfld"; + }; + + buildInputs = [ zlib ]; + + sourceRoot = "glucose-syrup/parallel"; + makeFlags = [ "r" ]; + installPhase = '' + install -Dm0755 glucose-syrup_release $out/bin/glucose-syrup + ''; + + meta = with stdenv.lib; { + description = "Modern, parallel SAT solver (parallel version)"; + license = licenses.unfreeRedistributable; + platforms = platforms.unix; + maintainers = with maintainers; [ gebner ]; + }; +} |