This PR fixes 2 small problems in the CMake installation:
ad523155c200a8f5f002f7ad39189e48b81b8cb2 started using the GNUInstallDirs variable, but didn't include the CMake file. This meant that if the variable was not set by the user it would default to blank (and try and create a /gecode directory in the root file system). I've extended the usage to all install locations can be varied using standardised cmake variables.
The other commit fixes a problem I caused when I made the changes to generate the MiniZinc configuration file. The problem was that in CMake it would copy the mznlib directory into <>/share/minizinc/gecode instead of its contents.
zayenz
commented
3 years ago
This PR fixes 2 small problems in the CMake installation:
GNUInstallDirsvariable, but didn't include the CMake file. This meant that if the variable was not set by the user it would default to blank (and try and create a/gecodedirectory in the root file system). I've extended the usage to all install locations can be varied using standardised cmake variables.mznlibdirectory into<>/share/minizinc/gecodeinstead of its contents.