[gecode-users] Problems on source tree generated by "make dist"
Guido Tack
tack at gecode.org
Thu Oct 4 01:20:49 CEST 2012
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 <cschulte at kth.se> 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: 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
>
>
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users
More information about the users
mailing list