diff options
author | Will Dietz <w@wdtz.org> | 2019-01-05 13:35:10 -0600 |
---|---|---|
committer | Will Dietz <w@wdtz.org> | 2019-01-05 13:35:10 -0600 |
commit | 5adde64416b6f4fce41e1152efe9902a28ace26b (patch) | |
tree | 1ee6d1c578a6eb5f4ef78d1292c470e3c1efe745 /pkgs/development/tools/minizinc/ide.nix | |
parent | 3d5ee8648846b3f36038d1197a2882fd9cca8538 (diff) | |
download | nixpkgs-5adde64416b6f4fce41e1152efe9902a28ace26b.tar nixpkgs-5adde64416b6f4fce41e1152efe9902a28ace26b.tar.gz nixpkgs-5adde64416b6f4fce41e1152efe9902a28ace26b.tar.bz2 nixpkgs-5adde64416b6f4fce41e1152efe9902a28ace26b.tar.lz nixpkgs-5adde64416b6f4fce41e1152efe9902a28ace26b.tar.xz nixpkgs-5adde64416b6f4fce41e1152efe9902a28ace26b.tar.zst nixpkgs-5adde64416b6f4fce41e1152efe9902a28ace26b.zip |
minizincide: minor touchups per reviewer suggestion
(sourceRoot needed a "source/" prefix, FWIW)
Diffstat (limited to 'pkgs/development/tools/minizinc/ide.nix')
-rw-r--r-- | pkgs/development/tools/minizinc/ide.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/tools/minizinc/ide.nix b/pkgs/development/tools/minizinc/ide.nix index 9e4edc236df..ab2af43979a 100644 --- a/pkgs/development/tools/minizinc/ide.nix +++ b/pkgs/development/tools/minizinc/ide.nix @@ -15,7 +15,7 @@ stdenv.mkDerivation { sha256 = "1hanq7c6li59awlwghgvpd8w93a7zb6iw7p4062nphnbd1dmg92f"; }; - postUnpack = ''export sourceRoot="$sourceRoot/MiniZincIDE"''; + sourceRoot = "source/MiniZincIDE"; enableParallelBuilding = true; @@ -25,7 +25,7 @@ stdenv.mkDerivation { meta = with stdenv.lib; { 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 = '' MiniZinc is a medium-level constraint modelling |