configure
tools/flatzinc/mzn-gecode
config.log
