mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-01-27 15:23:26 +00:00
ff1a94e523
The nixpkgs-unstable channel's programs.sqlite was used to identify packages producing exactly one binary, and these automatically added to their package definitions wherever possible.
50 lines
1.3 KiB
Nix
50 lines
1.3 KiB
Nix
{ lib
|
|
, stdenv
|
|
, fetchurl
|
|
, unzip
|
|
, zlib
|
|
, enableUnfree ? false
|
|
}:
|
|
|
|
stdenv.mkDerivation rec {
|
|
pname = "glucose" + lib.optionalString enableUnfree "-syrup";
|
|
version = "4.2.1";
|
|
|
|
src = fetchurl {
|
|
url = "https://www.labri.fr/perso/lsimon/downloads/softwares/glucose-${version}.zip";
|
|
hash = "sha256-J0J9EKC/4cCiZr/y4lz+Hm7OcmJmMIIWzQ+4c+KhqXg=";
|
|
};
|
|
|
|
sourceRoot = "glucose-${version}/sources/${if enableUnfree then "parallel" else "simp"}";
|
|
|
|
postPatch = ''
|
|
substituteInPlace Main.cc \
|
|
--replace "defined(__linux__)" "defined(__linux__) && defined(__x86_64__)"
|
|
'';
|
|
|
|
nativeBuildInputs = [ unzip ];
|
|
|
|
buildInputs = [ zlib ];
|
|
|
|
makeFlags = [ "r" ];
|
|
|
|
installPhase = ''
|
|
runHook preInstall
|
|
|
|
install -Dm0755 ${pname}_release $out/bin/${pname}
|
|
mkdir -p "$out/share/doc/${pname}-${version}/"
|
|
install -Dm0755 ../{LICEN?E,README*,Changelog*} "$out/share/doc/${pname}-${version}/"
|
|
|
|
runHook postInstall
|
|
'';
|
|
|
|
meta = with lib; {
|
|
description = "Modern, parallel SAT solver (${if enableUnfree then "parallel" else "sequential"} version)";
|
|
mainProgram = "glucose";
|
|
homepage = "https://www.labri.fr/perso/lsimon/research/glucose/";
|
|
license = if enableUnfree then licenses.unfreeRedistributable else licenses.mit;
|
|
platforms = platforms.unix;
|
|
maintainers = with maintainers; [ gebner ];
|
|
};
|
|
}
|