I think the dist target is obsolete (Guido: Is it really?). It is safe to just use the stuff from the svn directly (with svn export). That's how we build the source packages we distribute.
Cheers Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ -----Original Message----- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Andrea Pretto Sent: Wednesday, October 03, 2012 3:46 PM To: users@gecode.org list Subject: [gecode-users] Problems on source tree generated by "make dist" 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 _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
