tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1# These tests show that the minizinc build is capable of running the
2# examples in the official tutorial:
3# https://www.minizinc.org/doc-2.7.3/en/modelling.html
4
5{ stdenv, minizinc }:
6
7stdenv.mkDerivation {
8 name = "minizinc-simple-test";
9
10 nativeBuildInputs = [ minizinc ];
11
12 dontInstall = true;
13
14 buildCommand = ''
15 mkdir -p $out
16 minizinc --solver gecode ${./aust.mzn} | tee $out/aust.log
17 minizinc --solver gecode ${./nqueens.mzn} | tee $out/nqueens.log
18 minizinc --solver cbc ${./loan.mzn} ${./loan1.dzn} | tee $out/loan.log
19 '';
20
21 meta.timeout = 10;
22}