[gecode-users] Problems on source tree generated by "make dist"

[Andrea Pretto]

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.