diff options
Diffstat (limited to 'infra/libkookie/nixpkgs/pkgs/applications/science/logic/glucose/syrup.nix')
-rw-r--r-- | infra/libkookie/nixpkgs/pkgs/applications/science/logic/glucose/syrup.nix | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/infra/libkookie/nixpkgs/pkgs/applications/science/logic/glucose/syrup.nix b/infra/libkookie/nixpkgs/pkgs/applications/science/logic/glucose/syrup.nix new file mode 100644 index 000000000000..816f8504a52e --- /dev/null +++ b/infra/libkookie/nixpkgs/pkgs/applications/science/logic/glucose/syrup.nix @@ -0,0 +1,24 @@ +{ stdenv, zlib, glucose }: +stdenv.mkDerivation rec { + pname = "glucose-syrup"; + version = glucose.version; + + src = glucose.src; + + buildInputs = [ zlib ]; + + sourceRoot = "glucose-syrup-${version}/parallel"; + makeFlags = [ "r" ]; + installPhase = '' + install -Dm0755 glucose-syrup_release $out/bin/glucose-syrup + 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 (parallel version)"; + license = licenses.unfreeRedistributable; + platforms = platforms.unix; + maintainers = with maintainers; [ gebner ]; + }; +} |