[gecode-users] Makefile patch for building in non-source dir

[Guido Tack]

Thanks, Denys.  It was actually a bug in our Makefile that only  
occurred on systems that don't have a recent enough flex/bison  
installed.  It's fixed in the trunk and the 3.2.0 tag now, and we'll  
update the source packages accordingly (as it only affects the build  
system).

Cheers,
	Guido

Denys Duchier wrote:

> Hi Guys,
>
> I always compile in a directory that is a sibling of the source
> directory.  With 3.2.0 from svn I was getting the following error:
>
> make[1]: *** No rule to make target `gecode/flatzinc/ 
> parser.tab.cpp', needed by `gecode/flatzinc/parser.tab.o'.  Stop.
>
> Adding the VPATH definition shown below to Makefile.in fixed that
> problem.
>
> Cheer,
>
> --Denys
>
> Index: Makefile.in
> ===================================================================
> --- Makefile.in	(revision 9875)
> +++ Makefile.in	(working copy)
> @@ -52,6 +52,7 @@
> export docdir= @docdir@
> export top_srcdir = @top_srcdir@
> export top_builddir = .
> +export VPATH = $(top_builddir):$(top_srcdir)
>
> # Install to different root directory
> DESTDIR=
>
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users