Hi, I'm trying to create the .tar.gz dist file using "make dist" (from release-2.7.3 downloaded from svn) I guess there are missing files in the generated .tar.gz, cause I get this:
config.status: creating Makefile config.status: error: cannot find input file: `tools/flatzinc/mzn-gecode.in' Maybe something is missing from the autotools config stuff. Cheers. _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
