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

[Denys Duchier]

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=