libminizinc icon indicating copy to clipboard operation
libminizinc copied to clipboard
verified publisher icon MiniZinc

Add an option for installation of the IDE when installing MiniZinc via the Bundle

Open schutta opened this issue 5 years ago • 1 comments

The MiniZinc bundled binary package (see https://www.minizinc.org/software.html) includes the MiniZinc IDE. Not every one is interested in the IDE, but in the MiniZinc compiler and the bundled binary solver packages. Thus, it would be useful to have an option during the installation steps for excluding MiniZinc IDE and related components, e.g., fzn-gecode-gist and Qt libraries, from installation.

schutta avatar May 04 '20 12:05 schutta

Surely, a MiniZinc bundled binary package excluding these MiniZinc IDE and related components would do too.

schutta avatar May 04 '20 12:05 schutta