{ stdenv, fetchFromGitHub, qtbase, qtwebengine, qtwebkit, qmake, makeWrapper, minizinc }: let version = "2.4.2"; in stdenv.mkDerivation { pname = "minizinc-ide"; inherit version; nativeBuildInputs = [ qmake makeWrapper ]; buildInputs = [ qtbase qtwebengine qtwebkit ]; src = fetchFromGitHub { owner = "MiniZinc"; repo = "MiniZincIDE"; rev = version; sha256 = "1xqs27f14r79vcxf9bx72bbnhxc913lpr5d8cv31dacbq5fyxkw7"; }; sourceRoot = "source/MiniZincIDE"; enableParallelBuilding = true; postInstall = '' wrapProgram $out/bin/MiniZincIDE --prefix PATH ":" ${stdenv.lib.makeBinPath [ minizinc ]} ''; meta = with stdenv.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 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.linux; maintainers = [ maintainers.dtzWill ]; }; }