[gecode-users] Problems on source tree generated by "make dist"
Christian Schulte
cschulte at kth.se
Wed Oct 3 15:52:04 CEST 2012
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-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Andrea Pretto
Sent: Wednesday, October 03, 2012 3:46 PM
To: users at 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 at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
More information about the users
mailing list