minizincide: minor touchups per reviewer suggestion

(sourceRoot needed a "source/" prefix, FWIW)
This commit is contained in:
Will Dietz 2019-01-05 13:35:10 -06:00
parent 3d5ee86488
commit 5adde64416

View File

@ -15,7 +15,7 @@ stdenv.mkDerivation {
sha256 = "1hanq7c6li59awlwghgvpd8w93a7zb6iw7p4062nphnbd1dmg92f"; sha256 = "1hanq7c6li59awlwghgvpd8w93a7zb6iw7p4062nphnbd1dmg92f";
}; };
postUnpack = ''export sourceRoot="$sourceRoot/MiniZincIDE"''; sourceRoot = "source/MiniZincIDE";
enableParallelBuilding = true; enableParallelBuilding = true;
@ -25,7 +25,7 @@ stdenv.mkDerivation {
meta = with stdenv.lib; { meta = with stdenv.lib; {
homepage = https://www.minizinc.org/; homepage = https://www.minizinc.org/;
description = "IDE for MiniZinc, a medium-level constraint modelling language."; description = "IDE for MiniZinc, a medium-level constraint modelling language";
longDescription = '' longDescription = ''
MiniZinc is a medium-level constraint modelling MiniZinc is a medium-level constraint modelling