nixpkgs/pkgs/development/tools/minizinc/default.nix
2023-06-24 15:58:30 +00:00

47 lines
1.4 KiB
Nix

{ lib, stdenv, fetchFromGitHub, callPackage, jq, cmake, flex, bison, gecode, mpfr, cbc, zlib }:
stdenv.mkDerivation (finalAttrs: {
pname = "minizinc";
version = "2.7.6";
src = fetchFromGitHub {
owner = "MiniZinc";
repo = "libminizinc";
rev = finalAttrs.version;
sha256 = "sha256-1+bFF79lYt5RAx5gfNg7J3iB7ExxNgFUmBIcg6/hfQs=";
};
nativeBuildInputs = [ bison cmake flex jq ];
buildInputs = [ gecode mpfr cbc zlib ];
postInstall = ''
mkdir -p $out/share/minizinc/solvers/
jq \
'.version = "${gecode.version}"
| .mznlib = "${gecode}/share/gecode/mznlib"
| .executable = "${gecode}/bin/fzn-gecode"' \
${./gecode.msc} \
>$out/share/minizinc/solvers/gecode.msc
'';
passthru.tests = {
simple = callPackage ./simple-test { };
};
meta = with lib; {
homepage = "https://www.minizinc.org/";
description = "A medium-level constraint modelling language";
longDescription = ''
MiniZinc is a medium-level constraint modelling
language. It is high-level enough to express most
constraint problems easily, but low-level enough
that it can be mapped onto existing solvers easily and consistently.
It is a subset of the higher-level language Zinc.
'';
license = licenses.mpl20;
platforms = platforms.unix;
maintainers = [ maintainers.sheenobu ];
};
})