Installation with new minizinc version

[MaxOstrowski]

After a bugfix in the minizinc, every version > 2.5.5 will do to implement a better installation script.

To find out the appropriate paths that MiniZinc will use, you can call minizinc with the --config-dirs option, which will output something like this (this is for my own installation):

{
"globalConfigFile" : "/Applications/MiniZincIDE.app/Contents/Resources/share/minizinc/Preferences.json",
"userConfigFile" : "/Users/tack/.minizinc/Preferences.json",
"userSolverConfigDir" : "/Users/tack/.minizinc/solvers",
"mznStdlibDir" : "/Applications/MiniZincIDE.app/Contents/Resources/share/minizinc"
}

You could parse this (it's JSON) and then install your solver accordingly.

Cheers,
Guido

With these information it should be possible to copy all necessary files to correct directories.

[1] https://groups.google.com/g/minizinc/c/ExzDVEZtvjQ

[MaxOstrowski]

Currently I do need to have fzn-flatzingo.sh and stuff in the PATH! How to install them !