diff options
Diffstat (limited to 'nixpkgs/pkgs/development/tools/minizinc/ide.nix')
-rw-r--r-- | nixpkgs/pkgs/development/tools/minizinc/ide.nix | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/nixpkgs/pkgs/development/tools/minizinc/ide.nix b/nixpkgs/pkgs/development/tools/minizinc/ide.nix index 8c2756f801ee..f89f067d2038 100644 --- a/nixpkgs/pkgs/development/tools/minizinc/ide.nix +++ b/nixpkgs/pkgs/development/tools/minizinc/ide.nix @@ -1,11 +1,9 @@ { lib, mkDerivation, fetchFromGitHub, qtbase, qtwebengine, qtwebkit, qmake, minizinc }: + mkDerivation rec { pname = "minizinc-ide"; version = "2.5.5"; - nativeBuildInputs = [ qmake ]; - buildInputs = [ qtbase qtwebengine qtwebkit ]; - src = fetchFromGitHub { owner = "MiniZinc"; repo = "MiniZincIDE"; @@ -14,6 +12,9 @@ mkDerivation rec { fetchSubmodules = true; }; + nativeBuildInputs = [ qmake ]; + buildInputs = [ qtbase qtwebengine qtwebkit ]; + sourceRoot = "source/MiniZincIDE"; dontWrapQtApps = true; @@ -25,7 +26,6 @@ mkDerivation rec { meta = with lib; { homepage = "https://www.minizinc.org/"; description = "IDE for MiniZinc, a medium-level constraint modelling language"; - longDescription = '' MiniZinc is a medium-level constraint modelling language. It is high-level enough to express most @@ -33,7 +33,6 @@ mkDerivation rec { 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.linux; maintainers = [ maintainers.dtzWill ]; |