mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-25 15:13:46 +00:00
ff1a94e523
The nixpkgs-unstable channel's programs.sqlite was used to identify packages producing exactly one binary, and these automatically added to their package definitions wherever possible.
50 lines
1.6 KiB
Nix
50 lines
1.6 KiB
Nix
{ lib, stdenv, fetchFromGitHub, qtbase, qmake, qtwebsockets, minizinc, makeWrapper, Cocoa }:
|
|
|
|
let
|
|
executableLoc = if stdenv.isDarwin then "$out/Applications/MiniZincIDE.app/Contents/MacOS/MiniZincIDE" else "$out/bin/MiniZincIDE";
|
|
in
|
|
stdenv.mkDerivation rec {
|
|
pname = "minizinc-ide";
|
|
version = "2.8.3";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "MiniZinc";
|
|
repo = "MiniZincIDE";
|
|
rev = version;
|
|
hash = "sha256-/x4mWjAk24s6Ax22Q15WUPLLwm7YrzwaoMIINjQr5zU=";
|
|
fetchSubmodules = true;
|
|
};
|
|
|
|
nativeBuildInputs = [ qmake makeWrapper ];
|
|
buildInputs = [ qtbase qtwebsockets ] ++ lib.optionals stdenv.isDarwin [ Cocoa ];
|
|
|
|
sourceRoot = "${src.name}/MiniZincIDE";
|
|
|
|
dontWrapQtApps = true;
|
|
|
|
postInstall = lib.optionalString stdenv.hostPlatform.isDarwin ''
|
|
mkdir -p $out/Applications
|
|
mv $out/bin/MiniZincIDE.app $out/Applications/
|
|
'' + ''
|
|
wrapProgram ${executableLoc} \
|
|
--prefix PATH ":" ${lib.makeBinPath [ minizinc ]} \
|
|
--set QT_QPA_PLATFORM_PLUGIN_PATH "${qtbase}/lib/qt-6/plugins/platforms"
|
|
'';
|
|
|
|
meta = with lib; {
|
|
homepage = "https://www.minizinc.org/";
|
|
description = "IDE for MiniZinc, a medium-level constraint modelling language";
|
|
mainProgram = "MiniZincIDE";
|
|
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.unix;
|
|
maintainers = [ maintainers.dtzWill ];
|
|
};
|
|
}
|