diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/glucose/default.nix')
-rw-r--r-- | nixpkgs/pkgs/applications/science/logic/glucose/default.nix | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/glucose/default.nix b/nixpkgs/pkgs/applications/science/logic/glucose/default.nix new file mode 100644 index 000000000000..0a8fad484da7 --- /dev/null +++ b/nixpkgs/pkgs/applications/science/logic/glucose/default.nix @@ -0,0 +1,29 @@ +{ stdenv, fetchurl, zlib }: +stdenv.mkDerivation rec { + pname = "glucose"; + version = "4.1"; + + src = fetchurl { + url = "http://www.labri.fr/perso/lsimon/downloads/softwares/glucose-syrup-${version}.tgz"; + sha256 = "0aahrkaq7n0z986fpqz66yz946nxardfi6dh8calzcfjpvqiraji"; + }; + + buildInputs = [ zlib ]; + + sourceRoot = "glucose-syrup-${version}/simp"; + makeFlags = [ "r" ]; + installPhase = '' + install -Dm0755 glucose_release $out/bin/glucose + mkdir -p "$out/share/doc/${pname}-${version}/" + install -Dm0755 ../{LICEN?E,README*,Changelog*} "$out/share/doc/${pname}-${version}/" + ''; + + meta = with stdenv.lib; { + description = "Modern, parallel SAT solver (sequential version)"; + license = licenses.mit; + platforms = platforms.unix; + maintainers = with maintainers; [ gebner ]; + # Build uses _FPU_EXTENDED macro + badPlatforms = [ "aarch64-linux" ]; + }; +} |