pkgs/by-name/op/open-wbo/package.nix

   1 {
   2   lib,
   3   stdenv,
   4   fetchFromGitHub,
   5   zlib,
   6   gmp,
   7 }:
   8
   9 stdenv.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 = with lib; {
  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 = with maintainers; [ gebner ];
  35     platforms = platforms.unix;
  36     license = licenses.mit;
  37     homepage = "http://sat.inesc-id.pt/open-wbo/";
  38   };
  39 }