gecoder-with-gecode 0.9.0 → 0.9.1

data/ext/gecode-2.1.1/Makefile.in

@@ -1,1568 +0,0 @@
-#  -*-Makefile-*-
-#
-#  Main authors:
-#     Christian Schulte <schulte@gecode.org>
-#     Guido Tack <tack@gecode.org>
-#
-#  Copyright:
-#     Christian Schulte, 2005
-#     Guido Tack, 2005
-#
-#  Last modified:
-#     $Date: 2008-03-06 11:17:59 +0100 (Thu, 06 Mar 2008) $ by $Author: tack $
-#     $Revision: 6447 $
-#
-#  This file is part of Gecode, the generic constraint
-#  development environment:
-#     http://www.gecode.org
-#
-#  Permission is hereby granted, free of charge, to any person obtaining
-#  a copy of this software and associated documentation files (the
-#  "Software"), to deal in the Software without restriction, including
-#  without limitation the rights to use, copy, modify, merge, publish,
-#  distribute, sublicense, and/or sell copies of the Software, and to
-#  permit persons to whom the Software is furnished to do so, subject to
-#  the following conditions:
-#
-#  The above copyright notice and this permission notice shall be
-#  included in all copies or substantial portions of the Software.
-#
-#  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
-#  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
-#  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
-#  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
-#  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
-#  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
-#  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
-#
-
-#
-# General Settings
-#
-
-export prefix = @prefix@
-export exec_prefix = @exec_prefix@
-export bindir = @bindir@
-export libdir = @libdir@
-export sharedlibdir = @sharedlibdir@
-export includedir = @includedir@
-export pkgincludedir = $(includedir)/gecode
-export srcdir = @srcdir@
-export datarootdir = @datarootdir@
-export datadir = @datadir@
-export docdir= @docdir@
-export top_srcdir = @top_srcdir@
-export top_builddir = .
-
-# Install to different root directory
-DESTDIR=
-
-export subdirs = @subdirs@
-
-export VERSION		= @VERSION@
-
-export CXX = @CXX@
-export CC = @CC@
-export MOC = moc
-ifeq "$(top_srcdir)" "$(top_builddir)"
-CPPFLAGS=-I$(top_srcdir)
-else
-CPPFLAGS=-I$(top_builddir) -I$(top_srcdir)
-endif
-export CPPFLAGS
-export CXXFLAGS = $(CPPFLAGS) @CXXFLAGS@ $(CXXUSR)
-export CFLAGS = $(CPPFLAGS) @CFLAGS@ $(CUSR)
-export EXAMPLES_EXTRA_CXXFLAGS = @EXAMPLES_EXTRA_CXXFLAGS@
-
-export QT_CPPFLAGS = @QTDEFINES@ @QTINCLUDES@
-export LINKQT = @QTLIBS@
-
-export BOOST_CPPFLAGS = @BOOST_CPPFLAGS@
-export BOOST_LINK = @BOOST_LINK@
-
-export GLDFLAGS = @GLDFLAGS@
-export DLLFLAGS = @DLLFLAGS@
-export DLLPATH = @DLLPATH@
-
-export RANLIB = @RANLIB@
-export TAR = tar
-
-#
-# Use suffixes to get consistent treatment of dots
-#
-export OBJSUFFIX	= .@OBJEXT@
-export SBJSUFFIX	= .@SBJEXT@
-export DLLSUFFIX	= .@DLLEXT@
-export LIBSUFFIX	= .@LIBEXT@
-export STATICLIBSUFFIX	= .@STATICLIBEXT@
-export EXESUFFIX	= @EXEEXT@
-
-export LIBPREFIX 	= @LIBPREFIX@
-export LINKPREFIX	= @LINKPREFIX@
-export LINKSUFFIX	= @LINKSUFFIX@
-
-export SOLINKSUFFIX     = @SOLINKSUFFIX@
-export SOSUFFIX         = @SOSUFFIX@
-
-#
-# Programs
-#
-export RMF		= rm -rf
-export MV		= mv
-
-ifeq "@need_soname@" "yes"
-export CREATELINK       = ln -fs
-else
-export CREATELINK       = @true
-endif
-
-
-#
-# SUPPORT COMPONENTS
-#
-SUPPORTSRC0 = \
-	exception symbol
-SUPPORTHDR0 = \
-	block-allocator cast dynamic-array \
-	dynamic-stack exception map memory \
-	macros random sentinel-stack sort \
-	static-pqueue static-stack symbol \
-	marked-pointer
-
-BUDDYSRC0 = \
-	bddio.c \
-	bddop.c \
-	bvec.c \
-	cache.c \
-	cppext.cc \
-	fdd.c \
-	imatrix.c \
-	kernel.c \
-	pairs.c \
-	prime.c \
-	reorder.c \
-	tree.c
-
-BUDDYHDR0 = \
-	bdd.h \
-	bddtree.h \
-	bvec.h \
-	cache.h \
-	config.h \
-	fdd.h \
-	imatrix.h \
-	kernel.h \
-	prime.h
-
-BUDDYSRC = $(BUDDYSRC0:%=gecode/support/buddy/%)
-BUDDYHDR = $(BUDDYHDR0:%=gecode/support/buddy/%)
-BUDDYOBJ0 = $(BUDDYSRC:%.c=%$(OBJSUFFIX))
-BUDDYOBJ = $(BUDDYOBJ0:%.cc=%$(OBJSUFFIX))
-
-SUPPORTSRC1 =  $(SUPPORTSRC0:%=gecode/support/%.cc)
-SUPPORTHDR  =  gecode/support.hh \
-	$(SUPPORTHDR0:%=gecode/support/%.icc) \
-	$(BUDDYHDR)
-SUPPORTOBJ  =  $(SUPPORTSRC1:%.cc=%$(OBJSUFFIX)) $(BUDDYOBJ)
-SUPPORTSRC  =  $(SUPPORTSRC1) $(BUDDYSRC)
-
-export SUPPORTDLL	= $(LIBPREFIX)@SUPPORT@$(DLLSUFFIX)
-export SUPPORTLIB	= $(LIBPREFIX)@SUPPORT@$(LIBSUFFIX)
-ifeq "@need_soname@" "yes"
-export SUPPORTSONAME     = \
-	@WLSONAME@$(LIBPREFIX)@SUPPORT@$(SOSUFFIX)
-else
-export SUPPORTSONAME     = 
-endif
-export SUPPORTSTATICLIB	= $(LIBPREFIX)@SUPPORT@$(STATICLIBSUFFIX)
-export LINKSUPPORT      = $(LINKPREFIX)@SUPPORT@$(LINKSUFFIX)
-SUPPORTBUILDDIRS = support support/buddy
-
-
-#
-# KERNEL COMPONENTS
-#
-
-VARIMPHDR = \
-	gecode/kernel/var-type.icc \
-	gecode/kernel/var-imp.icc
-
-VARIMP = $(VARIMPHDR) gecode/kernel/var-type.cc
-
-KERNELSRC0 = \
-	core reflection var-map var-type memory-manager
-
-KERNELHDR0 = \
-	array shared-array branching core exception \
-	macros memory-manager modevent \
-	propagator advisor view var var-traits var-map reflection
-
-KERNELSRC = $(KERNELSRC0:%=gecode/kernel/%.cc)
-KERNELHDR	= \
-	gecode/kernel.hh \
-	$(KERNELHDR0:%=gecode/kernel/%.icc) \
-	$(VARIMPHDR)
-KERNELOBJ	= $(KERNELSRC:%.cc=%$(OBJSUFFIX))
-
-export KERNELDLL	= $(LIBPREFIX)@KERNEL@$(DLLSUFFIX)
-export KERNELLIB	= $(LIBPREFIX)@KERNEL@$(LIBSUFFIX)
-ifeq "@need_soname@" "yes"
-export KERNELSONAME     = \
-	@WLSONAME@$(LIBPREFIX)@KERNEL@$(SOSUFFIX)
-else
-export KERNELSONAME     = 
-endif
-export KERNELSTATICLIB	= $(LIBPREFIX)@KERNEL@$(STATICLIBSUFFIX)
-export LINKKERNEL      = $(LINKPREFIX)@KERNEL@$(LINKSUFFIX)
-KERNELBUILDDIRS = kernel
-
-EXTRA_HEADERS   = gecode/support/config.icc
-
-#
-# SEARCH COMPONENTS
-#
-
-SEARCHSRC0 = \
-	dfs.cc lds.cc bab.cc stop.cc options.cc
-SEARCHHDR0 = \
-	bab.icc dfs.icc lds.icc restart.icc \
-	reco-stack.icc statistics.icc \
-	engine-ctrl.icc stop.icc options.icc
-
-SEARCHSRC	= $(SEARCHSRC0:%=gecode/search/%)
-SEARCHHDR	= gecode/search.hh $(SEARCHHDR0:%=gecode/search/%)
-SEARCHOBJ	= $(SEARCHSRC:%.cc=%$(OBJSUFFIX))
-
-ifeq "@enable_search@" "yes"
-export SEARCHDLL	= $(LIBPREFIX)@SEARCH@$(DLLSUFFIX)
-export SEARCHSTATICLIB	= $(LIBPREFIX)@SEARCH@$(STATICLIBSUFFIX)
-export SEARCHLIB	= $(LIBPREFIX)@SEARCH@$(LIBSUFFIX)
-export LINKSEARCH       = $(LINKPREFIX)@SEARCH@$(LINKSUFFIX)
-ifeq "@need_soname@" "yes"
-export SEARCHSONAME     = \
-	@WLSONAME@$(LIBPREFIX)@SEARCH@$(SOSUFFIX)
-else
-export SEARCHSONAME     = 
-endif
-else
-export SEARCHDLL	=
-export SEARCHSTATICLIB	=
-export SEARCHLIB	=
-export LINKSEARCH       =
-endif
-SEARCHBUILDDIRS = search
-
-#
-# INTEGER COMPONENTS
-#
-
-INTSRC0 = \
-	int-set.cc var-imp/int.cc var-imp/bool.cc var/int.cc var/bool.cc \
-	view/print.cc array.cc bool.cc \
-	extensional/dfa.cc extensional/tuple-set.cc extensional.cc \
-	dom.cc rel.cc element.cc count.cc arithmetic.cc \
-	linear/int-post.cc linear-int.cc \
-	linear/bool-post.cc linear-bool.cc \
-	branch.cc \
-	distinct.cc cumulatives.cc \
-	sorted.cc gcc.cc \
-	channel.cc channel/link-single.cc channel/link-multi.cc \
-	circuit.cc unshare.cc
-INTHDR0 = \
-	limits.icc \
-	arithmetic/abs.icc arithmetic/max.icc arithmetic/mult.icc \
-	arithmetic/sqr.icc arithmetic/sqrt.icc \
-	bool/or.icc bool/eq.icc bool/lq.icc bool/eqv.icc bool/base.icc \
-	branch/select-val.icc branch/select-view.icc \
-	count/view.icc count/int.icc count/rel.icc \
-	cumulatives/val.icc \
-	distinct/bilink.icc distinct/bnd.icc distinct/combptr.icc \
-	distinct/dom.icc distinct/edge.icc distinct/node.icc \
-	distinct/val.icc distinct/ter-dom.icc \
-	dom/range.icc dom/spec.icc \
-	element/int.icc element/view.icc \
-	gcc/bnd.icc gcc/dom.icc gcc/gccbndsup.icc gcc/graphsup.icc \
-	gcc/lbc.icc gcc/ubc.icc gcc/val.icc gcc/occur.icc \
-	linear/post.icc \
-	linear/int-noview.icc linear/int-bin.icc linear/int-ter.icc \
-	linear/int-nary.icc linear/int-dom.icc \
-	linear/bool-int.icc linear/bool-view.icc linear/bool-scale.icc \
-	extensional/dfa.icc extensional/layered-graph.icc \
-	extensional/tuple-set.icc extensional/base.icc \
-	extensional/basic.icc extensional/incremental.icc \
-	extensional/bitset.icc \
-	rel/eq.icc rel/lex.icc rel/lq-le.icc rel/nq.icc \
-	sorted/matching.icc sorted/narrowing.icc \
-	sorted/order.icc sorted/propagate.icc sorted/sortsup.icc \
-	int-set.icc var-imp/delta.icc var/bool.icc \
-	var-imp/int.icc var-imp/bool.icc var/int.icc \
-	view/bool.icc view/constint.icc view/zero.icc view/int.icc \
-	view/minus.icc \
-	view/offset.icc view/rtest.icc view/scale.icc view/iter.icc \
-	arithmetic.hh array.icc bool.hh branch.hh \
-	count.hh cumulatives.hh distinct.hh dom.hh \
-	element.hh exception.icc  gcc.hh linear.hh \
-	propagator.icc extensional.hh rel.hh \
-	sorted.hh var-imp.icc view.icc \
-	channel.hh channel/dom.icc channel/val.icc \
-	channel/base.icc channel/link-single.icc channel/link-multi.icc \
-	circuit.hh circuit/base.icc circuit/val.icc circuit/dom.icc
-
-INTSRC		= $(INTSRC0:%=gecode/int/%)
-INTHDR		= gecode/int.hh $(INTHDR0:%=gecode/int/%)
-INTOBJ		= $(INTSRC:%.cc=%$(OBJSUFFIX))
-
-ifeq "@enable_int_vars@" "yes"
-export INTDLL		= $(LIBPREFIX)@INT@$(DLLSUFFIX)
-export INTSTATICLIB	= $(LIBPREFIX)@INT@$(STATICLIBSUFFIX)
-export INTLIB		= $(LIBPREFIX)@INT@$(LIBSUFFIX)
-export LINKINT      	= $(LINKPREFIX)@INT@$(LINKSUFFIX)
-export POSTINT          = gecode/int.hh
-ifeq "@need_soname@" "yes"
-export INTSONAME     = \
-	@WLSONAME@$(LIBPREFIX)@INT@$(SOSUFFIX)
-else
-export INTSONAME     = 
-endif
-else
-export INTDLL		=
-export INTSTATICLIB	=
-export INTLIB		=
-export LINKINT      	=
-export POSTINT          =
-endif
-INTBUILDDIRS	= \
-	int int/var int/var-imp int/view int/extensional \
-	int/channel int/linear int/bool int/branch
-
-#
-# SET COMPONENTS
-#
-
-SETSRC0 =								 \
-	branch.cc cardinality.cc convex.cc convex/conv.cc convex/hull.cc \
-	dom.cc rel.cc rel-op.cc rel-op-const.cc				 \
-	int.cc								 \
-	select.cc select/disjoint.cc sequence.cc			 \
-	distinct.cc distinct/atmostOne.cc				 \
-	sequence/seq.cc sequence/seq-u.cc array.cc var-imp/set.cc	 \
-	var-imp/integerset.cc var/set.cc view/print.cc			 \
-	projectors.cc							 \
-	projectors/set-expr.cc projectors/projector.cc			 \
-	projectors/projector-set.cc					 \
-	projectors/propagator/re-nary.cc				 \
-	projectors/compiler.cc						 \
-	projectors/formula.cc
-SETHDR0 =								     \
-	limits.icc \
-	view.icc exception.icc int.hh select.hh var-imp.icc int/card.icc     \
-	int/match.icc int/channel-int.icc int/minmax.icc int/weights.icc     \
-	int/channel-bool.icc select/idxarray.hh			             \
-	select/idxarray.icc select/inter.icc select/union.icc                \
-	select/unionConst.icc                                                \
-	select/disjoint.icc array.icc					     \
-	var-imp/set.icc var-imp/integerset.icc	     			     \
-	var-imp/delta.icc var-imp/iter.icc 				     \
-	var/set.icc							     \
-	view/complement.icc view/const.icc view/set.icc view/singleton.icc   \
-	view/offset.icc                                                      \
-	rel/subset.icc rel/re-subset.icc rel/eq.icc rel/nq.icc rel/re-eq.icc \
-	rel/common.icc rel/nosubset.icc sequence.hh	                     \
-	rel-op/union.icc rel-op/partition.icc rel-op/subofunion.icc	     \
-	rel-op/inter.icc rel-op/superofinter.icc			     \
-	rel-op/post.icc rel-op/common.icc rel.hh			     \
-	distinct.hh distinct/atmostOne.icc				     \
-	sequence/seq.icc sequence/seq-u.icc				     \
-	sequence/common.icc convex/conv.icc convex/hull.icc convex.hh	     \
-	propagator.icc rel-op.hh					     \
-	branch.hh branch/select-val.icc branch/select-view.icc		     \
-	projectors.hh projectors-compiler.hh				     \
-	projectors/projector.icc					     \
-	projectors/projector-set.icc projectors/set-expr.icc		     \
-	projectors/propagator.hh projectors/propagator/nary.icc		     \
-	projectors/propagator/card.icc projectors/propagator/re-nary.icc     \
-	projectors/formula.icc
-
-SETSRC		= $(SETSRC0:%=gecode/set/%)
-SETHDR		= gecode/set.hh $(SETHDR0:%=gecode/set/%)
-SETOBJ		= $(SETSRC:%.cc=%$(OBJSUFFIX))
-
-ifeq "@enable_set_vars@" "yes"
-export SETDLL		= $(LIBPREFIX)@SET@$(DLLSUFFIX)
-export SETSTATICLIB	= $(LIBPREFIX)@SET@$(STATICLIBSUFFIX)
-export SETLIB		= $(LIBPREFIX)@SET@$(LIBSUFFIX)
-export LINKSET      	= $(LINKPREFIX)@SET@$(LINKSUFFIX)
-export POSTSET          = gecode/set.hh
-ifeq "@need_soname@" "yes"
-export SETSONAME     = \
-	@WLSONAME@$(LIBPREFIX)@SET@$(SOSUFFIX)
-else
-export SETSONAME     = 
-endif
-else
-export SETDLL		=
-export SETSTATICLIB	=
-export SETLIB		=
-export LINKSET      	=
-export POSTSET          =
-endif
-SETBUILDDIRS	=						\
-	set set/convex set/distinct set/int set/rel set/rel-op	\
-	set/select set/sequence set/var set/var-imp set/view 	\
-	set/projectors set/projectors/propagator
-
-#
-# CpltSet COMPONENTS
-#
-
-CPLTSETSRC0 =	\
-	branch.cc array.cc support.cc             			  \
-	bddmanager.cc 							  \
-	var-imp/cpltset.cc var/cpltset.cc  view/print.cc                  \
-	constraints/singleton.cc 					  \
-	constraints/dom.cc constraints/rel.cc constraints/cardinality.cc  \
-	constraints/atmost.cc constraints/partition.cc 			  \
-	constraints/select.cc constraints/distinct.cc  			  \
-	constraints/rangeroots.cc
-
-CPLTSETHDR0 =		                \
-	view.icc bddmanager.icc exception.icc array.icc \
-	support.icc var-imp.icc \
-	var-imp/cpltset.icc var/cpltset.icc view/cpltset.icc \
-	propagators.hh \
-	propagators/unary.icc propagators/binary.icc \
-	propagators/nary.icc propagators/naryone.icc propagators/narytwo.icc \
-	propagators/singleton.icc \
-	branch.hh branch/select-val.icc branch/select-view.icc	
-
-CPLTSETSRC	= $(CPLTSETSRC0:%=gecode/cpltset/%)
-CPLTSETHDR		= gecode/cpltset.hh $(CPLTSETHDR0:%=gecode/cpltset/%)
-CPLTSETOBJ		= $(CPLTSETSRC:%.cc=%$(OBJSUFFIX))
-
-ifeq "@enable_cpltset_vars@" "yes"
-export CPLTSETDLL		= $(LIBPREFIX)@CPLTSET@$(DLLSUFFIX)
-export CPLTSETSTATICLIB	= $(LIBPREFIX)@CPLTSET@$(STATICLIBSUFFIX)
-export CPLTSETLIB		= $(LIBPREFIX)@CPLTSET@$(LIBSUFFIX)
-ifeq "@CXX@" "cl"
-export LINKCPLTSET      	= $(LINKPREFIX)@CPLTSET@$(LINKSUFFIX) 
-else
-export LINKCPLTSET      	= $(LINKPREFIX)@CPLTSET@$(LINKSUFFIX) $(CPLTSETFLAG)
-endif
-
-ifeq "@need_soname@" "yes"
-export CPLTSETSONAME     = \
-	@WLSONAME@$(LIBPREFIX)@CPLTSET@$(SOSUFFIX)
-else
-export CPLTSETSONAME     = 
-endif
-else
-export CPLTSETDLL		=
-export CPLTSETSTATICLIB	=
-export CPLTSETLIB		=
-export LINKCPLTSET      	=
-endif
-CPLTSETBUILDDIRS	=						\
-	cpltset cpltset/var cpltset/var-imp cpltset/view cpltset/propagators \
-	cpltset/branch cpltset/constraints
-
-#
-# MINIMODEL COMPONENTS
-#
-
-MMSRC0 = \
-	bool-expr.cc arithmetic.cc reg.cc 
-MMHDR0 = \
-	lin-expr.icc lin-rel.icc exception.icc matrix.icc \
-	bool-expr.icc bool-rel.icc
-
-MMSRC 		= $(MMSRC0:%=gecode/minimodel/%)
-MMHDR 		= gecode/minimodel.hh $(MMHDR0:%=gecode/minimodel/%)
-MMOBJ		= $(MMSRC:%.cc=%$(OBJSUFFIX))
-MMSBJ		= $(MMSRC:%.cc=%$(SBJSUFFIX))
-
-ifeq "@enable_minimodel@" "yes"
-export MMDLL		= $(LIBPREFIX)@MM@$(DLLSUFFIX)
-export MMSTATICLIB	= $(LIBPREFIX)@MM@$(STATICLIBSUFFIX)
-export MMLIB		= $(LIBPREFIX)@MM@$(LIBSUFFIX)
-export LINKMM      	= $(LINKPREFIX)@MM@$(LINKSUFFIX)
-ifeq "@need_soname@" "yes"
-export MMSONAME     = \
-	@WLSONAME@$(LIBPREFIX)@MM@$(SOSUFFIX)
-else
-export MMSONAME     = 
-endif
-else
-export MMDLL		=
-export MMSTATICLIB	=
-export MMLIB		=
-export LINKMM      	=
-endif
-MMBUILDDIRS	= minimodel
-
-#
-# SERIALIZATION COMPONENTS
-#
-
-SERSRC0 = \
-	flatzinc.cc javascript.cc boost.cc
-
-SERREGSRC = gecode/serialization/register.cc
-
-ifeq "@enable_qt@" "yes"
-SERMOCSRC0 = moc_javascript.cc
-else
-SERMOCSRC0 =
-endif
-
-SERHDR0 = \
-	boost.icc
-
-SERSRC 		= $(SERSRC0:%=gecode/serialization/%) 
-SERMOCSRC	= $(SERMOCSRC0:%=gecode/serialization/%)
-SERHDR 		= gecode/serialization.hh $(SERHDR0:%=gecode/serialization/%)
-SEROBJ		= \
-	$(SERSRC:%.cc=%$(OBJSUFFIX)) \
-	$(SERMOCSRC:%.cc=%$(OBJSUFFIX)) \
-	$(SERREGSRC:%.cc=%$(OBJSUFFIX))
-SERSBJ		= \
-	$(SERSRC:%.cc=%$(SBJSUFFIX)) \
-	$(SERMOCSRC:%.cc=%$(SBJSUFFIX)) \
-	$(SERREGSRC:%.cc=%$(SBJSUFFIX))
-
-ifeq "@enable_serialization@" "yes"
-export SERDLL		= $(LIBPREFIX)@SER@$(DLLSUFFIX)
-export SERSTATICLIB	= $(LIBPREFIX)@SER@$(STATICLIBSUFFIX)
-export SERLIB		= $(LIBPREFIX)@SER@$(LIBSUFFIX)
-export LINKSER      	= $(LINKPREFIX)@SER@$(LINKSUFFIX)
-ifeq "@need_soname@" "yes"
-export SERSONAME     = \
-	@WLSONAME@$(LIBPREFIX)@SER@$(SOSUFFIX)
-else
-export SERSONAME     = 
-endif
-else
-export SERDLL		=
-export SERSTATICLIB	=
-export SERLIB		=
-export LINKSER      	=
-endif
-SERBUILDDIRS	= serialization
-
-#
-# ITERATOR HEADERS
-#
-ITERHDR0 =							\
-	ranges-add ranges-append ranges-array ranges-cache	\
-	ranges-compl ranges-diff ranges-empty			\
-	ranges-inter ranges-minmax ranges-minus			\
-	ranges-offset ranges-operations ranges-scale		\
-	ranges-singleton ranges-singleton-append		\
-	ranges-size ranges-union ranges-values			\
-	values-array values-minus values-offset values-ranges 	\
-	values-singleton values-unique				\
-	virtual-ranges virtual-ranges-union			\
-	virtual-ranges-inter virtual-ranges-compl
-ITERHDR = gecode/iter.hh \
-	$(ITERHDR0:%=gecode/iter/%.icc)
-
-#
-# GIST
-#
-
-GISTHDR0 = \
-	better.hh drawingcursor.hh \
-	gist.icc node.hh nodecursor.hh nodecursor.icc nodevisitor.hh \
-	nodevisitor.icc postscript.hh shapelist.hh \
-	spacenode.hh textoutput.hh treecanvas.hh visualnode.hh \
-	mainwindow.hh \
-	analysiscursor.hh \
-	addchild.hh addvisualisationdialog.hh reflectionhelpers.hh \
-	ui_addchild.hh ui_addvisualisationdialog.hh\
-	config.hh \
-	visualisation/vararrayview.hh visualisation/vararrayviewt.hh \
-	visualisation/vararrayitem.hh visualisation/varitem.hh \
-	visualisation/intvaritem.hh \
-	visualisation/setvaritem.hh
-
-GISTSRC0 = \
-	drawingcursor.cc gist.cc node.cc nodecursor.cc \
-	postscript.cc shapelist.cc spacenode.cc \
-	textoutput.cc treecanvas.cc visualnode.cc \
-	mainwindow.cc preferences.cc \
-	addchild.cc addvisualisationdialog.cc reflectionhelpers.cc \
-	config.cc \
-	analysiscursor.cc \
-	visualisation/vararrayview.cc \
-	visualisation/varitem.cc \
-	visualisation/intvaritem.cc \
-	visualisation/setvaritem.cc
-
-GISTMOCSRC0 = \
-	moc_treecanvas.cc moc_mainwindow.cc moc_preferences.cc \
-	moc_addchild.cc moc_addvisualisationdialog.cc \
-	visualisation/moc_vararrayview.cc
-
-GISTSRC = $(GISTSRC0:%=gecode/gist/%)
-GISTMOCSRC = $(GISTMOCSRC0:%=gecode/gist/%)
-GISTHDR = $(GISTHDR0:%=gecode/gist/%) gecode/gist.hh
-
-GISTOBJ	= $(GISTSRC:%.cc=%$(OBJSUFFIX)) $(GISTMOCSRC:%.cc=%$(OBJSUFFIX))
-GISTSBJ	= $(GISTSRC:%.cc=%$(SBJSUFFIX)) $(GISTMOCSRC:%.cc=%$(SBJSUFFIX))
-
-GISTBUILDDIRS = gist gist/visualisation
-
-ifeq "@enable_gist@" "yes"
-export GISTDLL		= $(LIBPREFIX)@GIST@$(DLLSUFFIX)
-export GISTSTATICLIB	= $(LIBPREFIX)@GIST@$(STATICLIBSUFFIX)
-export GISTLIB		= $(LIBPREFIX)@GIST@$(LIBSUFFIX)
-export LINKGIST      	= $(LINKPREFIX)@GIST@$(LINKSUFFIX)
-ifeq "@need_soname@" "yes"
-export GISTSONAME     = \
-	@WLSONAME@$(LIBPREFIX)@GIST@$(SOSUFFIX)
-else
-export GISTSONAME     = 
-endif
-
-else
-export GISTDLL		=
-export GISTSTATICLIB	=
-export GISTLIB		=
-export LINKGIST      	=
-export GISTSONAME	= 
-endif
-
-#
-# EXAMPLES
-#
-
-INTEXAMPLESRC0 =						\
-	alpha bacp bibd donald					\
-	eq20 golomb-ruler tsp					\
-	graph-color grocery ind-set knights			\
-	magic-sequence magic-square				\
-	money ortho-latin perfect-square			\
-	partition photo queens					\
-	sudoku kakuro nonogram pentominoes			\
-	crowded-chess black-hole minesweeper domino		\
-	sports-league all-interval				\
-	langford-number warehouses				\
-	stress-domain stress-exec stress-search baseline	\
-	stress-element stress-min stress-distinct		\
-	stress-extensional stress-linear-bool
-INTEXAMPLESRC  = $(INTEXAMPLESRC0:%=examples/%.cc)
-INTEXAMPLEOBJ  = $(INTEXAMPLESRC:%.cc=%$(OBJSUFFIX))
-INTEXAMPLESBJ  = $(INTEXAMPLESRC:%.cc=%$(SBJSUFFIX))
-ifeq "@enable_int_vars@" "yes"
-INTEXAMPLEEXE  = $(INTEXAMPLESRC:%.cc=%$(EXESUFFIX))
-else
-INTEXAMPLEEXE  =
-endif
-
-SETEXAMPLESRC0 = \
-	crew golf hamming steiner queen-armies
-SETEXAMPLESRC  = $(SETEXAMPLESRC0:%=examples/%.cc)
-SETEXAMPLEOBJ  = $(SETEXAMPLESRC:%.cc=%$(OBJSUFFIX))
-SETEXAMPLESBJ  = $(SETEXAMPLESRC:%.cc=%$(SBJSUFFIX))
-ifeq "@enable_set_vars@" "yes"
-SETEXAMPLEEXE  = $(SETEXAMPLESRC:%.cc=%$(EXESUFFIX))
-else
-SETEXAMPLEEXE  = 
-endif
-
-CPLTSETEXAMPLESRC0 = \
-CPLTSETEXAMPLESRC  = $(CPLTSETEXAMPLESRC0:%=examples/%.cc)
-CPLTSETEXAMPLEOBJ  = $(CPLTSETEXAMPLESRC:%.cc=%$(OBJSUFFIX))
-CPLTSETEXAMPLESBJ  = $(CPLTSETEXAMPLESRC:%.cc=%$(SBJSUFFIX))
-ifeq "@enable_cpltset_vars@" "yes"
-CPLTSETEXAMPLEEXE  = $(CPLTSETEXAMPLESRC:%.cc=%$(EXESUFFIX))
-else
-CPLTSETEXAMPLEEXE  =
-endif
-
-JSEXAMPLESRC0 = javascript
-JSEXAMPLESRC  = $(JSEXAMPLESRC0:%=examples/%.cc)
-JSEXAMPLEOBJ  = $(JSEXAMPLESRC:%.cc=%$(OBJSUFFIX))
-JSEXAMPLESBJ  = $(JSEXAMPLESRC:%.cc=%$(SBJSUFFIX))
-ifeq "@enable_qt@" "yes"
-JSEXAMPLEEXE  = $(JSEXAMPLESRC:%.cc=%$(EXESUFFIX))
-else
-JSEXAMPLESRC  =
-endif
-
-EXAMPLEBUILDDIRS = examples examples/support
-
-EXAMPLEEXE = \
-  $(INTEXAMPLEEXE) $(SETEXAMPLEEXE) $(CPLTSETEXAMPLEEXE) $(JSEXAMPLEEXE)
-
-EXSUPPORTSRC0 = \
-	support/options support/example
-EXSUPPORTHDR0 = \
-	support.hh support/options.icc support/example.icc
-EXSUPPORTSRC = 	$(EXSUPPORTSRC0:%=examples/%.cc)
-EXSUPPORTHDR  = $(EXSUPPORTHDR0:%=examples/%)
-export EXSUPPORTOBJ = $(EXSUPPORTSRC:%.cc=%$(OBJSUFFIX))
-EXSUPPORTSBJ = $(EXSUPPORTSRC:%.cc=%$(SBJSUFFIX))
-
-
-#
-# COLLECTING ALL
-#
-
-ALLSRC = \
-	$(SUPPORTSRC) $(BUDDYSRC) $(KERNELSRC) $(SEARCHSRC) \
-        $(INTSRC) $(SETSRC) $(CPLTSETSRC) $(MMSRC) $(SERSRC) \
-	$(INTEXAMPLESRC) $(SETEXAMPLESRC) $(CPLTSETEXAMPLESRC) $(JSEXAMPLESRC) \
-	$(EXSUPPORTSRC) $(GISTSRC)
-ALLHDR = \
-	$(SUPPORTHDR) $(KERNELHDR) $(SEARCHHDR) \
-        $(INTHDR) $(SETHDR) $(CPLTSETHDR) $(MMHDR) $(SERHDR) \
-	$(ITERHDR) $(GISTHDR)
-ALLOBJ0 = $(ALLSRC:%.cc=%$(OBJSUFFIX)) $(GISTMOCSRC:%.cc=%$(OBJSUFFIX))
-ALLOBJ  = $(ALLOBJ0:%.c=%$(OBJSUFFIX))
-ALLSBJ0 = $(ALLSRC:%.cc=%$(SBJSUFFIX))
-ALLSBJ  = $(ALLSBJ0:%.c=%$(SBJSUFFIX))
-
-export LINKALL = \
-	$(LINKGIST) $(LINKSEARCH) $(LINKMM) $(LINKSER) \
-        $(LINKCPLTSET) $(LINKSET) $(LINKINT) \
-	$(LINKKERNEL) $(LINKSUPPORT)
-
-ifeq "@BUILDDLL@" "yes"
-DLLTARGETS= \
-	$(SUPPORTDLL) $(KERNELDLL) $(SEARCHDLL) $(INTDLL) $(SETDLL) \
-	$(CPLTSETDLL) $(MMDLL) $(SERDLL) $(GISTDLL)
-export ALLLIB = \
-	$(SUPPORTLIB) $(KERNELLIB) $(SEARCHLIB) $(INTLIB) $(SETLIB) \
-	$(CPLTSETLIB) $(MMLIB) $(SERLIB) $(GISTLIB)
-else
-DLLTARGETS=
-export ALLLIB = \
-	$(SUPPORTSTATICLIB) $(KERNELSTATICLIB) $(SEARCHSTATICLIB) \
-	$(INTSTATICLIB) $(SETSTATICLIB) $(CPLTSETSTATICLIB) \
-	$(MMSTATICLIB) $(SERSTATICLIB) $(GISTSTATICLIB)
-endif
-
-ifeq "@BUILDSTATIC@" "yes"
-STATICTARGETS = \
-	$(SUPPORTSTATICLIB) $(KERNELSTATICLIB) $(SEARCHSTATICLIB) \
-	$(INTSTATICLIB) $(SETSTATICLIB) $(CPLTSETSTATICLIB) \
-	$(MMSTATICLIB) $(SERSTATICLIB) $(GISTSTATICLIB)
-else
-STATICTARGETS=
-endif
-
-export LIBTARGETS = $(DLLTARGETS) $(STATICTARGETS)
-
-ifeq "@need_soname@" "yes"
-export LIBLINKTARGETS = \
-	$(DLLTARGETS:%$(DLLSUFFIX)=%$(SOSUFFIX)) \
-	$(DLLTARGETS:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
-else
-export LIBLINKTARGETS =
-endif
-
-ifeq "@INSTALLLIBS@" "yes"
-LIBLIBTARGETS = \
-	$(ALLLIB) \
-	$(ALLLIB:%$(LIBSUFFIX)=%.pdb)
-else
-LIBLIBTARGETS =
-endif
-
-#
-# Testing
-#
-
-INTTESTSRC00 = \
-	channel arithmetic basic bool count dom distinct element extensional \
-	rel linear scheduling gcc sorted circuit unshare \
-	mm-arithmetic mm-bool mm-lin mm-count mm-rel
-INTTESTSRC0 = test/int.cc $(INTTESTSRC00:%=test/int/%.cc)
-SETTESTSRC00 = \
-	dom rel rel-op rel-op-const convex sequence int select distinct projection 
-SETTESTSRC0 = test/set.cc $(SETTESTSRC00:%=test/set/%.cc)
-CPLTSETTESTSRC00 = \
-	dom rel atmost partition cardinality select
-CPLTSETTESTSRC0 = test/cpltset.cc $(CPLTSETTESTSRC00:%=test/cpltset/%.cc)
-
-ifeq "@enable_set_vars@" "yes"
-SETTESTSRC=$(SETTESTSRC0)
-else
-SETTESTSRC=
-endif
-ifeq "@enable_cpltset_vars@" "yes"
-CPLTSETTESTSRC = $(CPLTSETTESTSRC0)
-else
-CPLTSETTESTSRC =
-endif
-
-BRANCHTESTSRC0 = \
-	test/branch.cc test/branch/int.cc test/branch/bool.cc \
-	test/branch/set.cc test/branch/cpltset.cc \
-	test/assign.cc test/assign/int.cc test/assign/bool.cc
-
-SEARCHTESTSRC0 = \
-	test/search.cc
-
-TESTSRC0 = test/test.cc
-
-TESTSRC = \
-	$(TESTSRC0) $(INTTESTSRC0) \
-	$(SETTESTSRC) $(CPLTSETTESTSRC) \
-	$(BRANCHTESTSRC0) $(SEARCHTESTSRC0)
-
-TESTHDR0 = \
-	test.hh test.icc int.hh int.icc set.hh cpltset.hh \
-	branch.hh assign.hh
-TESTHDR = $(TESTHDR0:%=test/%)
-TESTOBJ	= $(TESTSRC:%.cc=%$(OBJSUFFIX))
-TESTSBJ	= $(TESTSRC:%.cc=%$(SBJSUFFIX))
-TESTEXE	= test/test$(EXESUFFIX)
-TESTBUILDDIRS = test test/int test/set test/branch test/cpltset test/assign
-
-BUILDDIRS = \
-	$(SUPPORTBUILDDIRS:%=gecode/%) \
-	$(KERNELBUILDDIRS:%=gecode/%) $(SEARCHBUILDDIRS:%=gecode/%) \
-	$(INTBUILDDIRS:%=gecode/%) $(SETBUILDDIRS:%=gecode/%) \
-	$(CPLTSETBUILDDIRS:%=gecode/%) \
-	$(SERBUILDDIRS:%=gecode/%) \
-	$(MMBUILDDIRS:%=gecode/%) $(EXAMPLEBUILDDIRS) $(TESTBUILDDIRS) \
-	$(GISTBUILDDIRS:%=gecode/%)
-
-ifeq "@enable_examples@" "yes"
-all: compilelib
-	@$(MAKE) compileexamples
-	@$(MAKE) makecompletedmessage
-else
-all: compilelib
-	@$(MAKE) makecompletedmessage
-endif
-compilelib: mkcompiledirs
-	@$(MAKE) $(VARIMP:%=$(top_srcdir)/%) $(LIBTARGETS)
-	@$(MAKE) compilesubdirs
-	@$(MAKE) framework
-
-compileexamples: $(EXAMPLEEXE)
-
-test: mkcompiledirs
-	@$(MAKE) $(VARIMP:%=$(top_srcdir)/%) $(TESTEXE)
-
-ifeq "@top_srcdir@" "."
-mkcompiledirs:
-else
-mkcompiledirs:
-	for_builddirs="$(BUILDDIRS)"; for f in $$for_builddirs; do \
-	  (test -z "$(top_builddir)"/$$f || mkdir -p "$(top_builddir)"/$$f); \
-	done
-endif
-
-makecompletedmessage:
-	@echo
-	@echo Compilation of Gecode finished successfully. To use Gecode, either add
-	@echo $(PWD)
-	@echo to your search path for libraries, or install Gecode using
-	@echo make install
-	@echo
-
-# ugly hack by Gr�goire Dooms to call a target on a contribs after evaluating all the variables in this Makefile.
-# used as make contribs:cpgraph:doc or make contribs:cpgraph:Makefile.in
-.PHONY: contribs\:%
-contribs\:%:
-	$(MAKE) -C $(shell echo $@ | sed 's/\(contribs:[^:]*\):.*/\1/;s+:+/+') $(shell echo $@ | sed 's/contribs:[^:]*:\(.*\)/\1/;s+:+/+')
-
-# less ugly hack by Guido Tack to call a target
-# Just give ICD (in-contrib-dir) and ICT (in-contrib-target) as arguments
-# to make incontrib
-ICT=
-ICD=
-.PHONY: incontrib
-incontrib:
-	$(MAKE) -C contribs/$(ICD) $(ICT)
-
-compilesubdirs:
-	@for_subdirs="$(subdirs)"; for i in $$for_subdirs; do \
-	  if test -f $$i/Makefile; then \
-	    echo "Making in directory $$i"; \
-	    $(MAKE) -C $$i; \
-	  fi; \
-	done
-
-#
-# Generated variable implementations
-#
-
-ALLVIS0 = \
-	gecode/int/var-imp/int \
-	gecode/int/var-imp/bool \
-	gecode/set/var-imp/set \
-	gecode/cpltset/var-imp/cpltset
-ALLVIS = \
-	$(ALLVIS0:%=$(top_srcdir)/%.vis) \
-	$(top_srcdir)/misc/genvariables.perl
-
-$(top_srcdir)/gecode/kernel/var-type.icc: $(top_srcdir)/variables.vsl $(ALLVIS)
-	perl $(top_srcdir)/misc/genvariables.perl -typeicc $< > $@
-$(top_srcdir)/gecode/kernel/var-type.cc: $(top_srcdir)/variables.vsl $(ALLVIS)
-	perl $(top_srcdir)/misc/genvariables.perl -typecc $< > $@
-$(top_srcdir)/gecode/kernel/var-imp.icc: $(top_srcdir)/variables.vsl $(ALLVIS)
-	perl $(top_srcdir)/misc/genvariables.perl -header $< > $@
-
-#
-# Registry of post functions
-#
-
-POSTHDR = $(POSTINT) $(POSTSET)
-
-$(top_srcdir)/gecode/serialization/register.cc: \
-	$(top_srcdir)/gecode/int.hh $(top_srcdir)/gecode/set.hh \
-	$(top_srcdir)/gecode/minimodel.hh $(top_srcdir)/misc/genregistry.perl
-	(cd $(top_srcdir) && \
-	 perl misc/genregistry.perl \
-	  gecode/int.hh gecode/set.hh gecode/minimodel.hh \
-	  > gecode/serialization/register.cc 2>/dev/null)
-
-
-#
-# Object targets
-#
-
-gecode/support/%$(OBJSUFFIX): $(top_srcdir)/gecode/support/%.cc
-	$(CXX) $(CXXFLAGS) @GECODE_BUILD_SUPPORT_FLAG@ \
-	@COMPILEOBJ@$@ @CXXIN@$<
-gecode/support/%$(SBJSUFFIX): $(top_srcdir)/gecode/support/%.cc
-	$(CXX) $(CXXFLAGS) @GECODE_BUILD_SUPPORT_FLAG@ \
-	@COMPILESBJ@$@ @CXXIN@$<
-gecode/support/%$(OBJSUFFIX): $(top_srcdir)/gecode/support/%.c
-	$(CC) $(CFLAGS) @GECODE_BUILD_SUPPORT_FLAG@ \
-	@COMPILEOBJ@$@ @CCIN@$<
-gecode/support/%$(SBJSUFFIX): $(top_srcdir)/gecode/support/%.c
-	$(CC) $(CFLAGS) @GECODE_BUILD_SUPPORT_FLAG@ \
-	@COMPILESBJ@$@ @CCIN@$<
-
-gecode/kernel/%$(OBJSUFFIX): $(top_srcdir)/gecode/kernel/%.cc
-	$(CXX) $(CXXFLAGS) @GECODE_BUILD_KERNEL_FLAG@ \
-	@COMPILEOBJ@$@ @CXXIN@$<
-gecode/kernel/%$(SBJSUFFIX): $(top_srcdir)/gecode/kernel/%.cc
-	$(CXX) $(CXXFLAGS) @GECODE_BUILD_KERNEL_FLAG@ \
-	@COMPILESBJ@$@ @CXXIN@$<
-
-gecode/search/%$(OBJSUFFIX): $(top_srcdir)/gecode/search/%.cc
-	$(CXX) $(CXXFLAGS) @GECODE_BUILD_SEARCH_FLAG@ \
-	@COMPILEOBJ@$@ @CXXIN@$<
-gecode/search/%$(SBJSUFFIX): $(top_srcdir)/gecode/search/%.cc
-	$(CXX) $(CXXFLAGS) @GECODE_BUILD_SEARCH_FLAG@ \
-	@COMPILESBJ@$@ @CXXIN@$<
-
-gecode/int/%$(OBJSUFFIX): $(top_srcdir)/gecode/int/%.cc
-	$(CXX) $(CXXFLAGS) @GECODE_BUILD_INT_FLAG@ \
-	@COMPILEOBJ@$@ @CXXIN@$<
-gecode/int/%$(SBJSUFFIX): $(top_srcdir)/gecode/int/%.cc
-	$(CXX) $(CXXFLAGS) @GECODE_BUILD_INT_FLAG@ \
-	@COMPILESBJ@$@ @CXXIN@$<
-
-gecode/set/%$(OBJSUFFIX): $(top_srcdir)/gecode/set/%.cc
-	$(CXX) $(CXXFLAGS) @GECODE_BUILD_SET_FLAG@ \
-	@COMPILEOBJ@$@ @CXXIN@$<
-gecode/set/%$(SBJSUFFIX): $(top_srcdir)/gecode/set/%.cc
-	$(CXX) $(CXXFLAGS) @GECODE_BUILD_SET_FLAG@ \
-	@COMPILESBJ@$@ @CXXIN@$<
-
-gecode/cpltset/%$(OBJSUFFIX): $(top_srcdir)/gecode/cpltset/%.cc
-	$(CXX) $(CXXFLAGS) @GECODE_BUILD_CPLTSET_FLAG@ \
-	@COMPILEOBJ@$@ @CXXIN@$<
-gecode/cpltset/%$(SBJSUFFIX): $(top_srcdir)/gecode/cpltset/%.cc
-	$(CXX) $(CXXFLAGS) @GECODE_BUILD_CPLTSET_FLAG@ \
-	@COMPILESBJ@$@ @CXXIN@$<
-
-gecode/minimodel/%$(OBJSUFFIX): $(top_srcdir)/gecode/minimodel/%.cc
-	$(CXX) $(CXXFLAGS) @GECODE_BUILD_MINIMODEL_FLAG@ \
-	@COMPILEOBJ@$@ @CXXIN@$<
-gecode/minimodel/%$(SBJSUFFIX): $(top_srcdir)/gecode/minimodel/%.cc
-	$(CXX) $(CXXFLAGS) @GECODE_BUILD_MINIMODEL_FLAG@ \
-	@COMPILESBJ@$@ @CXXIN@$<
-
-gecode/serialization/%$(OBJSUFFIX): $(top_srcdir)/gecode/serialization/%.cc
-	$(CXX) $(CXXFLAGS) $(BOOST_CPPFLAGS) $(QT_CPPFLAGS) \
-	@GECODE_BUILD_SERIALIZATION_FLAG@ \
-	@COMPILEOBJ@$@ @CXXIN@$<
-gecode/serialization/%$(SBJSUFFIX): $(top_srcdir)/gecode/serialization/%.cc
-	$(CXX) $(CXXFLAGS) $(BOOST_CPPFLAGS) $(QT_CPPFLAGS) \
-	@GECODE_BUILD_SERIALIZATION_FLAG@ \
-	@COMPILESBJ@$@ @CXXIN@$<
-gecode/serialization/moc_%$(OBJSUFFIX): gecode/serialization/moc_%.cc
-	$(CXX) $(CXXFLAGS) $(BOOST_CPPFLAGS) $(QT_CPPFLAGS) \
-	@GECODE_BUILD_SERIALIZATION_FLAG@ \
-	@COMPILEOBJ@$@ @CXXIN@$<
-gecode/serialization/moc_%.cc: $(top_srcdir)/gecode/serialization/%.hh
-	$(MOC) $(CPPFLAGS) -pgecode/serialization $< -o $@
-
-examples/%$(OBJSUFFIX): $(top_srcdir)/examples/%.cc
-	$(CXX) $(CXXFLAGS) $(EXAMPLES_EXTRA_CXXFLAGS) $(BOOST_CPPFLAGS) \
-	@COMPILEOBJ@$@ @CXXIN@$<
-examples/%$(SBJSUFFIX): $(top_srcdir)/examples/%.cc
-	$(CXX) $(CXXFLAGS) $(EXAMPLES_EXTRA_CXXFLAGS) \
-	@COMPILESBJ@$@ @CXXIN@$<
-
-
-test/%$(OBJSUFFIX): $(top_srcdir)/test/%.cc
-	$(CXX) $(CXXFLAGS) $(EXAMPLES_EXTRA_CXXFLAGS) \
-		@COMPILEOBJ@$@ @CXXIN@$<
-test/%$(SBJSUFFIX): $(top_srcdir)/test/%.cc
-	$(CXX) $(CXXFLAGS) $(EXAMPLES_EXTRA_CXXFLAGS) \
-		@COMPILESBJ@$@ @CXXIN@$<
-
-gecode/gist/%$(OBJSUFFIX): $(top_srcdir)/gecode/gist/%.cc
-	$(CXX) $(CXXFLAGS) $(QT_CPPFLAGS) \
-	@GECODE_BUILD_GIST_FLAG@ \
-	@COMPILEOBJ@$@ @CXXIN@$<
-
-gecode/gist/%$(SBJSUFFIX): $(top_srcdir)/gecode/gist/%.cc
-	$(CXX) $(CXXFLAGS) $(QT_CPPFLAGS) \
-	@GECODE_BUILD_GIST_FLAG@ \
-	@COMPILESBJ@$@ @CXXIN@$<
-gecode/gist/moc_%$(OBJSUFFIX): gecode/gist/moc_%.cc
-	$(CXX) $(CXXFLAGS) $(QT_CPPFLAGS) \
-	@GECODE_BUILD_GIST_FLAG@ \
-	@COMPILEOBJ@$@ @CXXIN@$<
-
-gecode/gist/moc_%.cc: $(top_srcdir)/gecode/gist/%.hh
-	$(MOC) $(CPPFLAGS) -pgecode/gist $< -o $@
-
-gecode/gist/visualisation/%$(OBJSUFFIX): $(top_srcdir)/gecode/gist/visualisation/%.cc
-	$(CXX) $(CXXFLAGS) $(QT_CPPFLAGS) \
-	@GECODE_BUILD_GIST_FLAG@ \
-	@COMPILEOBJ@$@ @CXXIN@$<
-
-gecode/gist/visualisation/%$(SBJSUFFIX): $(top_srcdir)/gecode/gist/visualisation/%.cc
-	$(CXX) $(CXXFLAGS) $(QT_CPPFLAGS) \
-	@GECODE_BUILD_GIST_FLAG@ \
-	@COMPILESBJ@$@ @CXXIN@$<
-gecode/gist/visualisation/moc_%$(OBJSUFFIX): gecode/gist/visualisation/moc_%.cc
-	$(CXX) $(CXXFLAGS) $(QT_CPPFLAGS) \
-	@GECODE_BUILD_GIST_FLAG@ \
-	@COMPILEOBJ@$@ @CXXIN@$<
-
-gecode/gist/visualisation/moc_%.cc: $(top_srcdir)/gecode/gist/visualisation/%.hh
-	$(MOC) $(CPPFLAGS) -pgecode/gist/visualisation $< -o $@
-
-#
-# DLL Targets
-#
-
-ifeq "$(DLLSUFFIX)" "$(LIBSUFFIX)"
-$(SUPPORTDLL): $(SUPPORTOBJ)
-	$(CXX) $(DLLFLAGS) $(SUPPORTOBJ) $(SUPPORTSONAME) \
-		@LINKOUTPUT@$(SUPPORTDLL)
-	$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
-	$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
-$(KERNELDLL): $(KERNELOBJ) $(SUPPORTDLL)
-	$(CXX) $(DLLFLAGS) $(KERNELOBJ) $(KERNELSONAME) \
-		@DLLPATH@ $(LINKSUPPORT) \
-		@LINKOUTPUT@$(KERNELDLL)
-	$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
-	$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
-$(SEARCHDLL): $(SEARCHOBJ) $(SUPPORTDLL) $(KERNELDLL)
-	$(CXX) $(DLLFLAGS) $(SEARCHOBJ) $(SEARCHSONAME) \
-		@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) \
-		@LINKOUTPUT@$(SEARCHDLL)
-	$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
-	$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
-$(INTDLL): $(INTOBJ) $(SUPPORTDLL) $(KERNELDLL)
-	$(CXX) $(DLLFLAGS) $(INTOBJ) $(INTSONAME) \
-		@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) \
-		@LINKOUTPUT@$(INTDLL)
-	$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
-	$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
-$(SETDLL): $(SETOBJ) $(SUPPORTDLL) $(KERNELDLL) $(INTDLL)
-	$(CXX) $(DLLFLAGS) $(SETOBJ) $(SETSONAME) \
-		@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) $(LINKINT) \
-		@LINKOUTPUT@$(SETDLL)
-	$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
-	$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
-$(CPLTSETDLL): $(CPLTSETOBJ) $(SUPPORTDLL) $(KERNELDLL) $(INTDLL) $(SETDLL)
-	$(CXX) $(DLLFLAGS) $(CPLTSETOBJ) $(CPLTSETSONAME)  \
-		@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) $(LINKINT) \
-		$(LINKSET)\
-		@LINKOUTPUT@$(CPLTSETDLL) 
-	$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
-	$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
-$(MMDLL): $(MMOBJ) $(SUPPORTDLL) $(KERNELDLL) $(INTDLL)
-	$(CXX) $(DLLFLAGS) $(MMOBJ) $(MMSONAME) \
-		@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) $(LINKINT) \
-		@LINKOUTPUT@$(MMDLL)
-	$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
-	$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
-$(SERDLL): $(SEROBJ) $(SUPPORTDLL) $(KERNELDLL) $(INTDLL) $(SETDLL) $(CPLTSETDLL) $(MMDLL) 
-	$(CXX) $(DLLFLAGS) $(SEROBJ) $(SERSONAME) \
-		@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) $(LINKINT) \
-		$(LINKSET) $(LINKMM) $(BOOST_LINK) $(LINKQT) \
-		@LINKOUTPUT@$(SERDLL)
-	$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
-	$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
-$(GISTDLL): $(GISTOBJ) $(SUPPORTDLL) $(KERNELDLL) $(INTDLL)
-	$(CXX) $(DLLFLAGS) $(GISTOBJ) $(GISTSONAME) \
-		@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) $(LINKINT) $(LINKQT) \
-		@LINKOUTPUT@$(GISTDLL)
-	$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
-	$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
-else
-$(SUPPORTDLL) $(SUPPORTLIB): $(SUPPORTOBJ)
-	$(CXX) $(DLLFLAGS) $(SUPPORTOBJ) \
-		@LINKOUTPUT@$(SUPPORTDLL) $(GLDFLAGS) 
-$(KERNELDLL) $(KERNELLIB): $(KERNELOBJ) $(SUPPORTDLL)
-	$(CXX) $(DLLFLAGS) $(KERNELOBJ) \
-		@DLLPATH@ $(LINKSUPPORT) \
-		@LINKOUTPUT@$(KERNELDLL) $(GLDFLAGS) 
-$(SEARCHDLL) $(SEARCHLIB): $(SEARCHOBJ) $(SUPPORTDLL) $(KERNELDLL)
-	$(CXX) $(DLLFLAGS) $(SEARCHOBJ) \
-		@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) \
-		@LINKOUTPUT@$(SEARCHDLL) $(GLDFLAGS) 
-$(INTDLL) $(INTLIB): $(INTOBJ) $(SUPPORTDLL) $(KERNELDLL)
-	$(CXX) $(DLLFLAGS) $(INTOBJ) \
-		@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) \
-		@LINKOUTPUT@$(INTDLL) $(GLDFLAGS) 
-$(SETDLL) $(SETLIB): $(SETOBJ) $(SUPPORTDLL) $(KERNELDLL) $(INTDLL)
-	$(CXX) $(DLLFLAGS) $(SETOBJ) \
-		@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) $(LINKINT) \
-		@LINKOUTPUT@$(SETDLL) $(GLDFLAGS) 
-$(CPLTSETDLL) $(CPLTSETLIB): $(CPLTSETOBJ) $(SUPPORTDLL) $(KERNELDLL) $(INTDLL) $(SETDLL)
-	$(CXX) $(DLLFLAGS) $(CPLTSETOBJ) \
-		@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) $(LINKINT) $(LINKSET) \
-		@LINKOUTPUT@$(CPLTSETDLL) $(GLDFLAGS) 
-$(MMDLL) $(MMLIB): $(MMOBJ) $(SUPPORTDLL) $(KERNELDLL) $(INTDLL)
-	$(CXX) $(DLLFLAGS) $(MMOBJ) \
-		@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) $(LINKINT) \
-		@LINKOUTPUT@$(MMDLL) $(GLDFLAGS)
-$(SERDLL) $(SERLIB): $(SEROBJ) $(SUPPORTDLL) $(KERNELDLL) $(INTDLL) $(SETDLL) $(CPLTSETDLL) $(MMDLL)
-	$(CXX) $(DLLFLAGS) $(SEROBJ) \
-		@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) $(LINKINT) $(LINKSET) $(LINKCPLTSET) $(LINKMM) \
-		$(BOOST_LINK) $(LINKQT) @LINKOUTPUT@$(SERDLL) $(GLDFLAGS)
-$(GISTDLL) $(GISTLIB): $(GISTOBJ) $(SUPPORTDLL) $(KERNELDLL) $(INTDLL)
-	$(CXX) $(DLLFLAGS) $(GISTOBJ) $(GISTSONAME) \
-		@DLLPATH@ $(LINKSUPPORT) $(LINKKERNEL) $(LINKINT) $(LINKQT) \
-		@LINKOUTPUT@$(GISTDLL) $(GLDFLAGS)
-endif
-
-#
-# Static libraries
-#
-
-$(SUPPORTSTATICLIB): $(SUPPORTOBJ)
-	$(AR) $(ARFLAGS) $@ $(SUPPORTOBJ)
-	$(RANLIB) $@
-$(KERNELSTATICLIB): $(KERNELOBJ)
-	$(AR) $(ARFLAGS) $@ $(KERNELOBJ)
-	$(RANLIB) $@
-$(SEARCHSTATICLIB): $(SEARCHOBJ)
-	$(AR) $(ARFLAGS) $@ $(SEARCHOBJ)
-	$(RANLIB) $@
-$(INTSTATICLIB): $(INTOBJ)
-	$(AR) $(ARFLAGS) $@ $(INTOBJ)
-	$(RANLIB) $@
-$(SETSTATICLIB): $(SETOBJ)
-	$(AR) $(ARFLAGS) $@ $(SETOBJ)
-	$(RANLIB) $@
-$(CPLTSETSTATICLIB): $(CPLTSETOBJ)
-	$(AR) $(ARFLAGS) $@ $(CPLTSETOBJ)
-	$(RANLIB) $@
-$(MMSTATICLIB): $(MMOBJ)
-	$(AR) $(ARFLAGS) $@ $(MMOBJ)
-	$(RANLIB) $@
-$(SERSTATICLIB): $(SEROBJ)
-	$(AR) $(ARFLAGS) $@ $(SEROBJ)
-	$(RANLIB) $@
-$(GISTSTATICLIB): $(GISTOBJ)
-	$(AR) $(ARFLAGS) $@ $(GISTOBJ)
-	$(RANLIB) $@
-
-#
-# Mac OS X Framework
-#
-
-.PHONY: framework
-ifeq "@BUILD_MACOS_FRAMEWORK@" "yes"
-framework: $(STATICTARGETS)
-	$(RMF) gecode.framework
-	mkdir -p gecode.framework/Versions/@GECODE_SOVERSION@
-	$(CXX) -all_load -compatibility_version @GECODE_SOVERSION@.0 \
-	  -current_version @GECODE_SOVERSION@.0 \
-	  -install_name /Library/Frameworks/gecode.framework/Versions/@GECODE_SOVERSION@/gecode \
-	  $(DLLFLAGS) $(LINKQT) \
-	  -o gecode.framework/Versions/@GECODE_SOVERSION@/gecode $^
-	$(MAKE) doinstallheaders \
-	  prefix=gecode.framework/Versions/@GECODE_SOVERSION@
-	mv gecode.framework/Versions/@GECODE_SOVERSION@/include/gecode/* \
-	  gecode.framework/Versions/@GECODE_SOVERSION@/include/
-	rmdir gecode.framework/Versions/@GECODE_SOVERSION@/include/gecode
-	cd gecode.framework/Versions && ln -s @GECODE_SOVERSION@ Current
-	ln -s Versions/Current/include \
-	  gecode.framework/Headers
-	ln -s Versions/Current/gecode \
-	  gecode.framework/gecode
-else
-framework:
-endif
-
-#
-# EXE Targets
-#
-
-.PRECIOUS: examples/%$(OBJSUFFIX)
-examples/%$(EXESUFFIX): examples/%$(OBJSUFFIX) $(EXSUPPORTOBJ) $(ALLLIB)
-	$(CXX) @EXEOUTPUT@$@ $< $(EXSUPPORTOBJ) $(DLLPATH) $(CXXFLAGS) \
-	$(LINKALL) $(GLDFLAGS)
-
-$(TESTEXE): $(TESTOBJ) $(ALLLIB) 
-	$(CXX) @EXEOUTPUT@$@ $(TESTOBJ) $(DLLPATH) $(CXXFLAGS) \
-	$(LINKALL) $(GLDFLAGS)
-
-
-
-#
-# Autoconf
-#
-
-$(top_srcdir)/configure: $(top_srcdir)/configure.ac
-	(cd $(top_srcdir) && autoconf)
-config.status: $(top_srcdir)/configure
-	./config.status --recheck
-Makefile: $(top_srcdir)/Makefile.in config.status
-	./config.status --file $@:$<
-doxygen.hh: $(top_srcdir)/doxygen/doxygen.hh.in config.status
-	./config.status --file $@:$<
-
-#
-# Source distribution
-#
-
-DIST_FILES= \
-	configure.ac configure Makefile.in gecode.m4 \
-	changelog.in LICENSE \
-	doxygen.conf.in doxygen.hh.in install-sh misc/gecode.pc.in \
-	misc/gecode-search.pc.in  misc/gecode-minimodel.pc.in \
-	misc/gecode-serialization.pc.in misc/gecode-gist.pc.in \
-	gecode/support/config.icc.in \
-	gecode/int/var-imp/int.vis \
-	gecode/int/var-imp/bool.vis \
-	gecode/set/var-imp.vis \
-	gecode/cpltset/var-imp.vis \
-	gecode/support/buddy/AUTHORS \
-	gecode/support/buddy/ChangeLog \
-	gecode/support/buddy/NEWS \
-	gecode/support/buddy/README \
-	examples/support.hh \
-	examples/support/example.icc \
-	examples/support/options.icc \
-	misc/doxygen/back.png misc/doxygen/gecode-logo-100.png \
-	misc/doxygen/stylesheet.css misc/doxygen/footer.html \
-	misc/doxygen/header.html misc/genlicense.perl \
-	misc/genstatistics.perl misc/getrevision.perl \
-	misc/genchangelog.perl misc/genvariables.perl \
-	misc/gentxtchangelog.perl misc/makedepend.perl \
-	misc/AppleHelpbookInfo.plist
-
-distdir:
-	rm -rf gecode-$(VERSION) && \
-	mkdir -p gecode-$(VERSION) && \
-	(cd $(top_srcdir) && tar cf - $(ALLHDR) $(ALLSRC)) | \
-	  (cd gecode-$(VERSION) && tar xf -) && \
-	(cd $(top_srcdir) && tar cf - $(TESTSRC0) $(INTTESTSRC0) \
-	  $(SETTESTSRC0) $(CPLTSETTESTSRC0) $(BRANCHTESTSRC0) $(TESTHDR) $(DIST_FILES)) | \
-	  (cd gecode-$(VERSION) && tar xf -)
-
-dist: distdir
-	tar chof - gecode-$(VERSION) | gzip -c >gecode-$(VERSION).tar.gz
-	rm -rf gecode-$(VERSION)
-
-#
-# Documentation
-#
-
-export ENABLEDOCCHM	= @ENABLEDOCCHM@
-ENABLEDOCSEARCH = @ENABLEDOCSEARCH@
-
-.PHONY: doc
-
-DOCSRC_NOTGENERATED = \
-	misc/doxygen/back.png misc/doxygen/footer.html \
-	misc/doxygen/gecode-logo-100.png \
-	misc/doxygen/stylesheet.css \
-	misc/genlicense.perl misc/genstatistics.perl misc/getrevision.perl \
-	misc/genchangelog.perl
-DOCSRC = $(DOCSRC_NOTGENERATED:%=$(top_srcdir)/%) \
-	doxygen.conf.use header.html \
-	doxygen.hh license.hh stat.hh changelog.hh
-
-changelog.hh: $(top_srcdir)/changelog.in
-	perl $(top_srcdir)/misc/genchangelog.perl < $^ > changelog.hh
-
-ChangeLog: $(top_srcdir)/changelog.in
-	perl $(top_srcdir)/misc/gentxtchangelog.perl < $^ > ChangeLog
-
-license.hh: $(ALLHDR:%=$(top_srcdir)/%) $(ALLSRC:%=$(top_srcdir)/%)
-	perl $(top_srcdir)/misc/genlicense.perl $^ > license.hh
-
-stat.hh: $(ALLHDR:%=$(top_srcdir)/%) $(ALLSRC:%=$(top_srcdir)/%) \
-	$(TESTHDR:%=$(top_srcdir)/%) $(TESTSRC:%=$(top_srcdir)/%)
-	perl $(top_srcdir)/misc/genstatistics.perl $^ > stat.hh
-
-
-ifeq "@ENABLEDOCCHM@" "yes"
-
-DOCTARGET=GecodeReference.chm
-
-header.html: $(top_srcdir)/misc/doxygen/header.html
-	grep -v '<form.*form>' < $< > $@
-doxygen.conf.use: doxygen.conf
-	(echo "GENERATE_HTMLHELP = YES"; \
-	 echo "SEARCHENGINE = NO";\
-	 echo "HAVE_DOT = @GECODE_DOXYGEN_DOT@") | \
-		cat $< - > $@
-
-doc: $(ALLHDR:%=$(top_srcdir)/%) $(ALLSRC:%=$(top_srcdir)/%) $(DOCSRC)
-	mkdir -p doc/html
-	cp -f $(top_srcdir)/misc/doxygen/back.png \
-	$(top_srcdir)/misc/doxygen/gecode-logo-100.png doc/html
-	doxygen doxygen.conf.use
-	mv doc/html/GecodeReference.chm GecodeReference.chm
-
-else
-
-DOCTARGET=doc/html
-
-ifeq "@ENABLEDOCSEARCH@" "yes"
-
-header.html: $(top_srcdir)/misc/doxygen/header.html
-	cat < $< > $@
-doxygen.conf.use: doxygen.conf
-	(echo "GENERATE_HTMLHELP = NO"; \
-	 echo "SEARCHENGINE = YES"; \
-	 echo "HAVE_DOT = @GECODE_DOXYGEN_DOT@") | \
-		cat $< - > $@
-else
-
-header.html: $(top_srcdir)/misc/doxygen/header.html
-	grep -v '<form.*form>' < $< > $@
-doxygen.conf.use: doxygen.conf
-	(echo "GENERATE_HTMLHELP = NO"; \
-	 echo "SEARCHENGINE = NO"; \
-	 echo "HAVE_DOT = @GECODE_DOXYGEN_DOT@") | \
-		cat $< - > $@
-
-endif
-
-doc: $(ALLHDR:%=$(top_srcdir)/%) $(ALLSRC:%=$(top_srcdir)/%) $(DOCSRC)
-	mkdir -p doc/html
-	cp -f $(top_srcdir)/misc/doxygen/back.png \
-	$(top_srcdir)/misc/doxygen/gecode-logo-100.png doc/html
-	doxygen doxygen.conf.use
-
-endif
-
-
-# Generate an indexed Apple HelpBook
-# The generated book must then be copied to
-# /Library/Documentation/Help
-doc-apple: doc
-	mkdir -p doc/Gecode.help/Contents/Resources
-	rm -rf doc/Gecode.help/Contents/Resources/English.lproj
-	cp -r doc/html doc/Gecode.help/Contents/Resources/English.lproj
-	cp misc/AppleHelpbookInfo.plist \
-	  doc/Gecode.help/Contents/Info.plist
-	sed -i -e \
-	  's|</title>|</title><META NAME="AppleTitle" CONTENT="Gecode Help">|g' \
-	  doc/Gecode.help/Contents/Resources/English.lproj/index.html
-	/Developer/Applications/Utilities/Help\ Indexer.app/Contents/MacOS/Help\ Indexer \
-	  doc/Gecode.help/Contents/Resources/English.lproj
-
-#
-# Installation
-#
-
-ifeq "@enable_gist@" "yes"
-GIST_PKGCONFIGFILE = gecode-gist.pc
-else
-GIST_PKGCONFIGFILE = 
-endif
-
-ifeq "@HAS_PKGCONFIG@" "yes"
-PKGCONFIGFILES = \
-	gecode.pc gecode-search.pc gecode-minimodel.pc \
-	gecode-serialization.pc $(GIST_PKGCONFIGFILE)
-else
-PKGCONFIGFILES =
-endif
-
-.PHONY: install
-
-ifeq "@BUILD_MACOS_FRAMEWORK@" "yes"
-install: installframework
-else
-
-ifeq "@enable_examples@" "yes"
-install: installlib installexamples
-else
-install: installlib
-endif
-
-endif
-
-doinstallheaders: $(ALLHDR:%=$(top_srcdir)/%) $(EXTRA_HEADERS)
-	mkdir -p $(DESTDIR)$(includedir) && \
-	(cd $(top_srcdir) && tar cf - $(ALLHDR)) | \
-	  (cd $(DESTDIR)$(includedir) && tar xf -) && \
-	for_extraheaders="$(EXTRA_HEADERS)" && \
-	  for f in $$for_extraheaders; do \
-	    cp $$f $(DESTDIR)$(pkgincludedir)/support; done && \
-	for_pkgconfigfiles="$(PKGCONFIGFILES)" && \
-	  for f in $$for_pkgconfigfiles; do \
-	    mkdir -p $(DESTDIR)$(libdir)/pkgconfig; \
-	    cp misc/$$f $(DESTDIR)$(libdir)/pkgconfig; \
-	  done
-
-doinstalllib: 
-	mkdir -p $(DESTDIR)$(sharedlibdir) && \
-	mkdir -p $(DESTDIR)$(libdir) && \
-	for_libtargets="$(LIBTARGETS)" && \
-	  for f in $$for_libtargets; do \
-	    cp $$f $(DESTDIR)$(sharedlibdir); done && \
-	for_liblinktargets="$(LIBLINKTARGETS)" && \
-	  for f in $$for_liblinktargets; do \
-	    cp -pR $$f $(DESTDIR)$(sharedlibdir); done &&\
-	for_liblibtargets="$(LIBLIBTARGETS)" && \
-	  for f in $$for_liblibtargets; do \
-	    cp $$f $(DESTDIR)$(libdir); done
-
-ifeq "@BUILDSTATIC@" "yes"
-ranliblib:
-	for_static="$(STATICTARGETS)" ; \
-	  for f in $$for_static; do \
-	    $(RANLIB) $(DESTDIR)$(sharedlibdir)/$$f; done
-else
-ranliblib:
-endif
-
-installlib: compilelib
-	$(MAKE) doinstalllib
-	$(MAKE) doinstallheaders
-	$(MAKE) ranliblib
-	$(MAKE) installsubdirs
-
-installexamples: compileexamples
-	mkdir -p $(DESTDIR)$(bindir); \
-	for_exampleexe="$(EXAMPLEEXE)" ; \
-	for f in $$for_exampleexe; do cp $$f $(DESTDIR)$(bindir); done \
-
-installframework: framework
-	mkdir -p $(DESTDIR)/Library/Frameworks/gecode.framework && \
-	(cd gecode.framework && tar cf - *) | \
-	(cd $(DESTDIR)/Library/Frameworks/gecode.framework && tar xf -)
-
-installdoc: doc
-	mkdir -p $(DESTDIR)$(docdir); \
-	cp -r $(DOCTARGET) $(DESTDIR)$(docdir)
-
-installsubdirs:
-	@for_subdirs="$(subdirs)" ; for i in $$for_subdirs; do \
-	  cd $$i && if test -f Makefile; then \
-	    echo "Making install in directory $$i"; \
-	    $(MAKE) install; \
-	  fi; \
-	done
-
-#
-# Source Distribution
-#
-
-.PHONY: distdoc
-
-ifeq "@ENABLEDOCSEARCH@" "yes"
-DOCSUFFIX = search-$(VERSION)
-else
-DOCSUFFIX = $(VERSION)
-endif
-
-distdoc: doc
-	rm -rf gecode-doc-$(DOCSUFFIX) && \
-	cp -r doc/html . && mv html gecode-doc-$(DOCSUFFIX) && \
-	$(TAR) cf - gecode-doc-$(DOCSUFFIX) | \
-		gzip -9 > gecode-doc-$(DOCSUFFIX).tar.gz && \
-	zip -q -9 -r gecode-doc-$(DOCSUFFIX).zip gecode-doc-$(DOCSUFFIX) && \
-	$(RMF) gecode-doc-$(DOCSUFFIX) && \
-	if test -f doc/gecode-doc.tag; then \
-		mv doc/gecode-doc.tag gecode-doc-$(DOCSUFFIX).tag && \
-		gzip -9 gecode-doc-$(DOCSUFFIX).tag; \
-	fi
-
-
-#
-# Binary Distribution
-#
-
-.PHONY: distzip
-
-BINPKG = gecode-$(VERSION)-bin
-
-disttodir:
-	$(RMF) $(BINPKG) && \
-	$(MAKE) install \
-	prefix=$(BINPKG) execprefix=$(BINPKG) bindir=$(BINPKG)/bin \
-	libdir=$(BINPKG)/lib sharedlibdir=$(BINPKG)/lib \
-	includedir=$(BINPKG)/include && \
-	$(MAKE) ChangeLog && \
-	cp $(top_srcdir)/LICENSE ChangeLog $(BINPKG)/
-
-distzip: disttodir
-	zip -q -9 -r $(BINPKG).zip $(BINPKG) && \
-	$(RMF) $(BINPKG)
-
-disttgz: disttodir
-	$(TAR) cf - $(BINPKG) | \
-	  gzip -9 > $(BINPKG).tar.gz && \
-	$(RMF) $(BINPKG)
-
-#
-# Maintenance targets
-#
-
-clean:
-	$(RMF) *.stackdump core gmon.out vc70.pdb vc80.pdb vc90.pdb
-	$(RMF) doxygen.log doxygen.hh doxygen.conf.use stat.hh license.hh header.html
-	$(RMF) $(ALLOBJ) $(ALLSBJ) $(ALLOBJ:%$(OBJSUFFIX)=%.pdb)
-	$(RMF) $(TESTOBJ) $(TESTSBJ) $(TESTOBJ:%$(OBJSUFFIX)=%.pdb)
-	$(RMF) $(GISTMOCSRC) $(SERMOCSRC)
-	$(RMF) $(SERREGSRC:%.cc=%$(OBJSUFFIX))
-
-veryclean: clean
-	$(RMF) $(LIBTARGETS) \
-		$(LIBTARGETS:%$(DLLSUFFIX)=%.exp) \
-		$(LIBTARGETS:%$(DLLSUFFIX)=%.lib) \
-		$(LIBTARGETS:%$(DLLSUFFIX)=%.ilk) \
-		$(LIBTARGETS:%$(DLLSUFFIX)=%.pdb)
-	$(RMF) $(LIBTARGETS:%$(DLLSUFFIX)=%$(SOLINKSUFFIX)) \
-		$(LIBTARGETS:%$(DLLSUFFIX)=%$(SOSUFFIX))
-	$(RMF) $(EXAMPLEEXE) $(EXAMPLEEXE:%.exe=%.pdb) \
-		$(EXAMPLEEXE:%.exe=%.ilk)
-	$(RMF) $(TESTEXE) $(TESTEXE:%.exe=%.pdb) $(TESTEXE:%.exe=%.ilk)
-	$(RMF) doc GecodeReference.chm ChangeLog changelog.hh doxygen.conf doxygen.hh
-	$(RMF) $(ALLOBJ:%$(OBJSUFFIX)=%.gcno) $(TESTOBJ:%$(OBJSUFFIX)=%.gcno)
-	$(RMF) $(ALLOBJ:%$(OBJSUFFIX)=%.gcda) $(TESTOBJ:%$(OBJSUFFIX)=%.gcda)
-	$(RMF) $(SERREGSRC:%.cc=%.gcda) $(SERREGSRC:%.cc=%.gcno)
-
-distclean: veryclean
-	$(RMF) $(VARIMP:%=$(top_srcdir)/%)
-	$(RMF) misc/gecode.pc misc/gecode-search.pc \
-		misc/gecode-minimodel.pc misc/gecode-serialization.pc
-	$(RMF) Makefile
-	$(RMF) $(EXTRA_HEADERS)
-	$(RMF) config.log config.status Makefile.dep
-	$(RMF) $(SERREGSRC)
-
-depend: $(VARIMP:%=$(top_srcdir)/%) $(SERREGSRC:%=$(top_srcdir)/%)
-	perl $(top_srcdir)/misc/makedepend.perl \
-	$(top_srcdir) \
-	$(ALLSRC) \
-	$(SERREGSRC) \
-	$(TESTSRC) > Makefile.dep
-
--include Makefile.dep