Yes, the dist target is obsolete (I think it hasn't been working for quite a while). I removed the target from the svn trunk.
Cheers, Guido On 03/10/2012, at 11:52 PM, Christian Schulte <[email protected]> wrote: > 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: [email protected] [mailto:[email protected]] On Behalf > Of Andrea Pretto > Sent: Wednesday, October 03, 2012 3:46 PM > To: [email protected] 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 > [email protected] > https://www.gecode.org/mailman/listinfo/gecode-users > > > _______________________________________________ > Gecode users mailing list > [email protected] > https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
