tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 stdenv,
4 fetchFromGitHub,
5 zlib,
6 gmp,
7}:
8
9stdenv.mkDerivation {
10 pname = "open-wbo";
11 version = "2.0";
12
13 src = fetchFromGitHub {
14 owner = "sat-group";
15 repo = "open-wbo";
16 rev = "f193a3bd802551b13d6424bc1baba6ad35ec6ba6";
17 sha256 = "1742i15qfsbf49c4r837wz35c1p7yafvz7ar6vmgcj6cmfwr8jb4";
18 };
19
20 buildInputs = [
21 zlib
22 gmp
23 ];
24
25 makeFlags = [ "r" ];
26 installPhase = ''
27 install -Dm0755 open-wbo_release $out/bin/open-wbo
28 '';
29
30 meta = {
31 broken = (stdenv.hostPlatform.isLinux && stdenv.hostPlatform.isAarch64);
32 description = "State-of-the-art MaxSAT and Pseudo-Boolean solver";
33 mainProgram = "open-wbo";
34 maintainers = [ ];
35 platforms = lib.platforms.unix;
36 license = lib.licenses.mit;
37 homepage = "http://sat.inesc-id.pt/open-wbo/";
38 };
39}