Ready fzn-gecode as MiniZinc solver on `make install`

Dekker1 commented 3 years ago

This PR is to make fzn-gecode ready to be used with MiniZinc from the moment you make install.

This is achieved by changing two things:

A MiniZinc solver configuration with the correct version number is generated at configuration time and is installed to PREFIX/share/minizinc/solvers/gecode.msc
The MiniZinc library is installed as PREFIX/share/minizinc/gecode instead of PREFIX/share/gecode/mznlib. (This is the standard location for MiniZinc libraries and where the library would be installed by the MiniZinc bundle)

Once make install is run you can extend MZN_SOLVER_PATH with PREFIX/share/minizinc/solvers to make the installed Gecode directly available to MiniZinc. If the PREFIX is a standard location, such as /usr/local/, then the solver configuration will immediately be detected.

These changes will make the Gecode repository more self-sufficient within the MiniZinc infrastructure and will allow developers and users to easily use different versions of Gecode with MiniZinc.

Possible future improvements might be to allow CMake/autotools to append the name/id in the configuration for custom versions of Gecode. (For now this went beyond my auto tools knowledge).

zayenz commented 3 years ago

LGTM.

I think we want to add it to release/6.3.0 as well?

Dekker1 commented 3 years ago

Hi Mikael,

I thought the 6.3.0 release was already out. I'm happy for it to go into the release/6.3.0 instead

yurivict commented 3 years ago

Is there an ETA for 6.3.0?

zayenz commented 3 years ago

I will get this merge soon, just haven't had the time.

@yurivict We would like to get the 6.3.0 release out, but have stalled due to two factors

We currently lack any effective way of testing on Windows
We do not have access to the scripts that were used for creating the Windows installer

The latter issue can be "solved" by only making a source-code release and not creating pre-compiled artifacts. The former is more important though, since we do not want to release a version that has not been tested sufficiently.

yurivict commented 3 years ago

You can probably merge this into the 6.3.0 branch.

zayenz commented 3 years ago

Merged into the release/6.3.0 branch as well.

Gecode / gecode

Ready fzn-gecode as MiniZinc solver on `make install` #104