gecoder-with-gecode 0.7.1 → 0.8.0

data/ext/gecode-1.3.1/examples/timer.hh

@@ -1,72 +0,0 @@
-/*
- *  Main authors:
- *     Christian Schulte <schulte@gecode.org>
- *
- *  Copyright:
- *     Christian Schulte, 2004
- *
- *  Bugfixes provided by:
- *     Javier Andr�s Mena Zapata <javimena@gmail.com>
- *
- *  Last modified:
- *     $Date: 2006-04-11 15:58:37 +0200 (Tue, 11 Apr 2006) $ by $Author: tack $
- *     $Revision: 3188 $
- *
- *  This file is part of Gecode, the generic constraint
- *  development environment:
- *     http://www.gecode.org
- *
- *  See the file "LICENSE" for information on usage and
- *  redistribution of this file, and for a
- *     DISCLAIMER OF ALL WARRANTIES.
- *
- */
-
-#ifndef __GECODE_EXAMPLES_TIMER_HH__
-#define __GECODE_EXAMPLES_TIMER_HH__
-
-#include <ctime>
-#include <cmath>
-
-#include "gecode/config.icc"
-
-/*
- * Support for measuring time
- *
- */
-
-/// Timer interface used for examples
-class Timer {
-private:
-  clock_t t0;
-public:
-  void start(void);
-  double stop(void);
-};
-
-forceinline void
-Timer::start(void) {
-  t0 = clock();
-}
-forceinline double
-Timer::stop(void) {
-  return (static_cast<double>(clock()-t0) / CLOCKS_PER_SEC) * 1000.0;
-}
-
-
-/**
- * \brief Compute arithmetic mean of \a n elements in \a t
- * \relates Timer
- */
-double
-am(double t[], int n);
-/**
- * \brief Compute deviation of \a n elements in \a t
- * \relates Timer
- */
-double
-dev(double t[], int n);
-
-#endif
-
-// STATISTICS: example-any

data/ext/gecode-1.3.1/examples/warehouses.cc

@@ -1,176 +0,0 @@
-/*
- *  Main authors:
- *     Christian Schulte <schulte@gecode.org>
- *
- *  Copyright:
- *     Christian Schulte, 2005
- *
- *  Last modified:
- *     $Date: 2006-08-04 16:06:52 +0200 (Fri, 04 Aug 2006) $ by $Author: schulte $
- *     $Revision: 3517 $
- *
- *  This file is part of Gecode, the generic constraint
- *  development environment:
- *     http://www.gecode.org
- *
- *  See the file "LICENSE" for information on usage and
- *  redistribution of this file, and for a
- *     DISCLAIMER OF ALL WARRANTIES.
- *
- */
-
-#include "examples/support.hh"
-#include "gecode/minimodel.hh"
-
-/// Number of warehouses
-static const int n_suppliers = 5;
-/// Number of stores
-static const int n_stores = 10;
-
-/// Cost of building one warehouse
-static const int building_cost = 30;
-
-/// Capacity of a single warehouse
-static const int capacity[n_suppliers] = {
-  1, 4, 2, 1, 3
-};
-
-/// Cost for store to warehouse
-static const int cost_matrix[n_stores][n_suppliers] = {
-  {20, 24, 11, 25, 30},
-  {28, 27, 82, 83, 74},
-  {74, 97, 71, 96, 70},
-  { 2, 55, 73, 69, 61},
-  {46, 96, 59, 83,  4},
-  {42, 22, 29, 67, 59},
-  { 1,  5, 73, 59, 56},
-  {10, 73, 13, 43, 96},
-  {93, 35, 63, 85, 46},
-  {47, 65, 55, 71, 95}
-};
-
-
-
-/**
- * \brief %Example: Locating warehouses
- *
- * A company needs to construct warehouses to supply stores with
- * goods. Each warehouse possibly to be constructed has a certain
- * capacity defining how many stores it can supply. Constructing a
- * warehouse incurs a fixed cost. Costs for transportation from
- * warehouses to stores depend on the locations of warehouses and
- * stores.
- *
- * Determine which warehouses should be constructed and which
- * warehouse should supply which store such that overall cost
- * (transportation cost plus construction cost) is smallest.
- *
- * \ingroup Example
- *
- */
-class Warehouses : public Example {
-protected:
-  /// Map store to the supplier
-  IntVarArray supplier;
-  /// Is a supplier open (warehouse needed)
-  BoolVarArray open;
-  /// Cost of a store
-  IntVarArray cost;
-  /// Total cost
-  IntVar total;
-public:
-  /// Actual model
-  Warehouses(const Options& opt)
-    : supplier(this, n_stores, 0, n_suppliers-1),
-      open(this, n_suppliers, 0, 1),
-      cost(this, n_stores, 0, Limits::Int::int_max),
-      total(this, 0, Limits::Int::int_max) {
-    // Compute total cost
-    {
-      IntArgs c(n_stores + n_suppliers);
-      IntVarArgs x(n_stores + n_suppliers);
-      for (int i=0; i<n_stores; i++) {
-	c[i]=1; x[i]=cost[i];
-      }
-      for (int i=0; i<n_suppliers; i++) {
-	c[n_stores+i]=building_cost;
-	x[n_stores+i]=open[i];
-      }
-      linear(this, c, x, IRT_EQ, total);
-    }
-
-    // Compute cost for store
-    for (int i=0; i<n_stores; i++) {
-      IntArgs c(n_suppliers);
-      for (int j=0; j<n_suppliers; j++)
-	c[j] = cost_matrix[i][j];
-      element(this, c, supplier[i], cost[i]);
-    }
-
-    // Do not exceed capacity
-    for (int i=0; i<n_suppliers; i++)
-      count(this, supplier, i, IRT_LQ, capacity[i]);
-
-    // A warehouse is open, if it supplies to a shop
-    for (int i=0; i<n_suppliers; i++) {
-      BoolVarArgs store_by_supplier(n_stores);
-      for (int j=0; j<n_stores; j++)
-	store_by_supplier[j] = post(this, ~(supplier[j] == i));
-      BoolVar b(this, 0, 1);
-      rel(this, open[i], IRT_EQ, 1, b);
-      linear(this, store_by_supplier, IRT_GR, 0, b);
-    }
-
-    branch(this, cost, BVAR_REGRET_MIN_MAX, BVAL_MIN);
-  }
-
-  /// Add constraint for next better solution
-  void
-  constrain(Space* s) {
-    rel(this, total, IRT_LE, static_cast<Warehouses*>(s)->total.val());
-  }
-  /// Constructor for cloning \a s
-  Warehouses(bool share, Warehouses& s) : Example(share,s) {
-    supplier.update(this, share, s.supplier);
-    open.update(this, share, s.open);
-    cost.update(this, share, s.cost);
-    total.update(this, share, s.total);
-  }
-
-  /// Copy during cloning
-  virtual Space*
-  copy(bool share) {
-    return new Warehouses(share,*this);
-  }
-  /// Print solution
-  virtual void
-  print(void) {
-    std::cout << "\tSupplier: {";
-    for (int i=0; i<n_stores; i++) {
-      std::cout << supplier[i] << ((i<n_stores-1)?", ":"};\n");
-    }
-    std::cout << "\tCost: {";
-    for (int i=0; i<n_stores; i++) {
-      std::cout << cost[i] << ((i<n_stores-1)?", ":"};\n");
-    }
-    std::cout << "\tTotal cost: " << total << std::endl;
-    std::cout << std::endl;
-  }
-};
-
-/** \brief Main-function
- *  \relates Warehouses
- */
-int
-main(int argc, char** argv) {
-  Options opt("Warehouses");
-  opt.solutions  = 0;
-  opt.iterations = 10;
-  opt.naive      = true;
-  opt.parse(argc,argv);
-  Example::run<Warehouses,BAB>(opt);
-  return 0;
-}
-
-// STATISTICS: example-any
-

data/ext/gecode-1.3.1/extconf.rb

@@ -1,8 +0,0 @@
-require 'pathname'
-
-# Set up some important locations.
-CONFIG_FILE = Pathname.new("#{File.dirname(__FILE__)}/configure").realpath
-
-# Delegate to Gecode's configure file.
-File.chmod 0755, CONFIG_FILE
-`#{CONFIG_FILE} --disable-examples`

data/ext/gecode-1.3.1/gecode.m4

@@ -1,736 +0,0 @@
-dnl
-dnl Main authors:
-dnl   Guido Tack <tack@gecode.org>
-dnl
-dnl Copyright:
-dnl   Guido Tack, 2004, 2005
-dnl
-dnl Last modified:
-dnl   $Date: 2005-10-27 21:01:30 +0200 (Thu, 27 Oct 2005) $
-dnl   by $Author: schulte $
-dnl   $Revision: 2420 $
-dnl
-dnl This file is part of Gecode, the generic constraint
-dnl development environment:
-dnl   http://www.gecode.org
-dnl
-dnl See the file "LICENSE" for information on usage and
-dnl redistribution of this file, and for a
-dnl   DISCLAIMER OF ALL WARRANTIES.
-dnl
-dnl
-
-dnl check whether we have pkgconfig and should generate config files for it
-AC_DEFUN([AC_GECODE_PKGCONFIG],
-	[AC_CHECK_TOOL(PKGCONFIG, pkg-config)
-	 AC_MSG_CHECKING(whether to generate pkg-config files)
-	 if test "${PKGCONFIG}x" = "x"; then
-	    AC_MSG_RESULT(no)
-	    AC_SUBST(HAVE_PKGCONFIG, "no")
-	 else
-	    AC_MSG_RESULT(yes)
-	    AC_SUBST(HAVE_PKGCONFIG, "yes")
-	 fi])
-
-AC_DEFUN([AC_GECODE_GET_OS],
-	[AC_ARG_WITH([host-os],
-           AC_HELP_STRING([--with-host-os],
-	   [Override operating system test. Valid values are Linux, Darwin, and Windows.]))
-	 AC_MSG_CHECKING([for the host operating system])
-         if test "${with_host_os:-no}" = "no"; then
-	   guess_host_os=$(uname -s 2>/dev/null)
-	 else
-	   guess_host_os=${with_host_os}
-   	 fi
-	 dnl Try to find out operating system
-	 case ${guess_host_os} in
-	   GNU/kFreeBSD|*inux*)
-	   host_os=linux
-	   AC_MSG_RESULT([Linux])
-	   ;;
-	   *arwin*)
-	   host_os=darwin
-	   AC_MSG_RESULT([Darwin])
-	   ;;
-	   CYGWIN*|*indows*)
-	   host_os=windows
-	   AC_MSG_RESULT([Windows])
-	   ;;
-	   *)
-	   AC_MSG_ERROR([Host OS not supported.])
-	   ;;
-	 esac])
-
-dnl Macros:
-dnl   AC_GECODE_ADD_TO_CXXFLAGS ([FLAG...])
-dnl   AC_GECODE_ADD_TO_LDFLAGS ([FLAG...])
-dnl
-dnl Description:
-dnl   Add the flags to the corresponding variables
-dnl
-dnl Author:
-dnl   Marco Kuhlmann <kuhlmann@ps.uni-sb.de>
-dnl
-AC_DEFUN([AC_GECODE_ADD_TO_CXXFLAGS],
-   [CXXFLAGS="${CXXFLAGS}${CXXFLAGS:+ }$1"])
-AC_DEFUN([AC_GECODE_ADD_TO_LDFLAGS],
-   [LDFLAGS="${LDFLAGS}${LDFLAGS:+ }$1"])
-AC_DEFUN([AC_GECODE_ADD_TO_PKG_CXXFLAGS],
-  [ac_gecode_pkg_cxxflags="${ac_gecode_pkg_cxxflags}${ac_gecode_pkg_cxxflags:+ }$1"])
-AC_DEFUN([AC_GECODE_ADD_TO_DLLFLAGS],
-  [DLLFLAGS="${DLLFLAGS}${DLLFLAGS:+ }$1"])
-
-
-dnl Macro:
-dnl   AC_GECODE_CHECK_CXXFLAG (FLAG, [ACTION-IF-TRUE,
-dnl                                [ACTION-IF-FALSE]])
-dnl
-dnl Description:
-dnl   Check whether FLAG is supported by the C++ compiler.  Run
-dnl   the shell commands ACTION-IF-TRUE if it is, ACTION-IF-FALSE
-dnl   otherwise.  If ACTION-IF-TRUE is not given, append FLAG to
-dnl   the contents of $CXXFLAGS.
-dnl
-dnl Authors:
-dnl   Leif Kornstaedt <kornstae@ps.uni-sb.de>
-dnl   Marco Kuhlmann <kuhlmann@ps.uni-sb.de>
-dnl
-AC_DEFUN([AC_GECODE_CHECK_CXXFLAG],
-  [AC_MSG_CHECKING(whether ${CXX} accepts [$1])
-   ac_gecode_save_CXXFLAGS="${CXXFLAGS}"
-   CXXFLAGS="${CXXFLAGS}${CXXFLAGS:+ }$1 -Werror"
-   AC_LANG_PUSH(C++)
-   AC_COMPILE_IFELSE(AC_LANG_PROGRAM(),
-     [AC_MSG_RESULT(yes)
-      CXXFLAGS="${ac_gecode_save_CXXFLAGS}"
-      ifelse([$2], , [CXXFLAGS="${CXXFLAGS}${CXXFLAGS:+ }$1"], [$2])],
-     [AC_MSG_RESULT(no)
-      CXXFLAGS="${ac_gecode_save_CXXFLAGS}"
-      ifelse([$3], , :, [$3])])
-   AC_LANG_POP])dnl
-
-dnl Macro:
-dnl   AC_GECODE_CHECK_LDFLAG (FLAG, [ACTION-IF-TRUE,
-dnl                                 [ACTION-IF-FALSE]])
-dnl
-dnl Description:
-dnl   Check whether FLAG is supported by the linker.  Run the
-dnl   shell commands ACTION-IF-TRUE if it is, ACTION-IF-FALSE
-dnl   otherwise.  If ACTION-IF-TRUE is not given, append FLAG to
-dnl   the contents of $LDFLAGS.
-dnl
-dnl Authors:
-dnl   Leif Kornstaedt <kornstae@ps.uni-sb.de>
-dnl   Marco Kuhlmann <kuhlmann@ps.uni-sb.de>
-dnl
-AC_DEFUN([AC_GECODE_CHECK_LDFLAG],
-  [AC_REQUIRE([AC_PROG_CXX])
-   AC_MSG_CHECKING(whether the linker accepts [$1])
-   ac_gecode_save_LDFLAGS="${LDFLAGS}"
-   LDFLAGS="${LDFLAGS}${LDFLAGS:+ }$1"
-   AC_LINK_IFELSE(AC_LANG_PROGRAM(),
-     [AC_MSG_RESULT(yes)
-      LDFLAGS="$ac_gecode_save_LDFLAGS"
-      ifelse([$2], , [LDFLAGS="${LDFLAGS}${LDFLAGS:+ }$1"], [$2])],
-     [AC_MSG_RESULT(no)
-      LDFLAGS="$ac_gecode_save_LDFLAGS"
-      ifelse([$3], , :, [$3])])])dnl
-
-dnl @synopsis _AC_C_IFDEF(MACRO-NAME, ACTION-IF-DEF, ACTION-IF-NOT-DEF)
-dnl
-dnl Check for the definition of macro MACRO-NAME using the current
-dnl language's compiler.
-dnl
-dnl @category Misc
-dnl @author Ludovic Court�s <ludo@chbouib.org>
-dnl @version 2004-09-07
-dnl @license AllPermissive
-AC_DEFUN([_AC_C_IFDEF],
-  [AC_COMPILE_IFELSE([#ifndef $1
-                      # error "Macro $1 is undefined!"
-		      /* For some compilers (eg. SGI's CC), #error is not
-		         enough...  */
-		      please, do fail
-		      #endif],
-		     [$2], [$3])])
-
-dnl @synopsis AC_CXX_COMPILER_VENDOR(VENDOR-NAME)
-dnl
-dnl Set VENDOR-NAME to the lower-case name of the compiler vendor or `unknown'
-dnl if the compiler's vendor is unknown.
-dnl
-dnl @version 20040907
-dnl @author  Ludovic Court�s <ludo@chbouib.org>
-dnl Modified by G. Tack to recognize only those compilers we need.
-AC_DEFUN([AC_CXX_COMPILER_VENDOR],
-  [AC_ARG_WITH([compiler-vendor],
-     AC_HELP_STRING([--with-compiler-vendor],
-       [Override compiler test. Valid values are gnu, intel, and microsoft.]))
-   AC_REQUIRE([AC_PROG_CXX])
-   AC_REQUIRE([AC_PROG_CXXCPP])
-   AC_CACHE_CHECK([the C++ compiler vendor],
-    [ac_cv_cxx_compiler_vendor],
-
-    [if test "${with_compiler_vendor:-no}" = "no"; then
-
-     AC_LANG_PUSH([C++])
-
-     dnl GNU C++
-     _AC_C_IFDEF([__GNUG__],
-       [ac_cv_cxx_compiler_vendor=gnu],
-       [_AC_C_IFDEF([__INTEL_COMPILER],
-                    [ac_cv_cxx_compiler_vendor=intel],
-       [dnl Note:  We are using the C compiler because VC++ doesn't
-        dnl recognize `.cc'(which is used by `configure') as a C++ file
-        dnl extension and requires `/TP' to be passed.
-        AC_LANG_PUSH([C])
-        _AC_C_IFDEF([_MSC_VER],
-                    [ac_cv_cxx_compiler_vendor=microsoft],
-                    [ac_cv_cxx_compiler_vendor=unknown])
-        AC_LANG_POP()])])
-
-     AC_LANG_POP()
-     else
-       ac_cv_cxx_compiler_vendor=${with_compiler_vendor}
-     fi
-     $1="$ac_cv_cxx_compiler_vendor"])])dnl
-
-
-dnl Macro:
-dnl   AC_GECODE_VTI (vartype, help-string, default,
-dnl		     [ACTION-IF-ENABLED])
-dnl
-dnl Description:
-dnl   Introduce --enable-vartype-vars configure switch. The help-string
-dnl   is used for the configure --help output. VAR is the name of the
-dnl   variable type, it is used to create the VTI_VAR constant in vti.icc.
-dnl   default is either yes or no and says whether this option should be
-dnl   enabled by default. ACTION-IF-ENABLED can be used to perform additional
-dnl   actions in case this variable type is enabled.
-dnl
-dnl Authors:
-dnl   Guido Tack <tack@gecode.org>
-AC_DEFUN([AC_GECODE_ADD_VTI],
-	[ac_gecode_vtis="VTI_$1 ${ac_gecode_vtis}";])
-
-AC_DEFUN([AC_GECODE_VTI],
-   [
-   AC_ARG_ENABLE([$1-vars],
-     AC_HELP_STRING([--enable-$1-vars],[build $2 @<:@default=$3@:>@]))
-   AC_MSG_CHECKING(whether to build the $1 variables library)
-   if test "${enable_$1_vars:-$3}" = "yes"; then
-     AC_MSG_RESULT(yes)
-     enable_$1_vars="yes";
-     AC_GECODE_ADD_VTI(translit($1,`a-z', `A-Z'))
-     $4
-   else
-     enable_$1_vars="no";
-     AC_MSG_RESULT(no)
-   fi
-   AC_SUBST(enable_$1_vars, ${enable_$1_vars})
-   ])
-
-dnl Description:
-dnl   Make config.status create the vti.icc file.
-dnl
-dnl Authors:
-dnl   Guido Tack <tack@gecode.org>
-
-AC_CONFIG_COMMANDS(vti.icc,
-	  [rm -f gecode/vti.icc.new
-	   echo "// This file was generated by config.status." > \
-	     gecode/vti.icc.new
-	   echo "// Do not edit. Modifications will get lost!" >> \
-	     gecode/vti.icc.new
-	   for v in ${ac_gecode_vtis}
-	   do
-	     echo "$v, ///< Generated by configure" >> gecode/vti.icc.new
-	   done
-	   if test ! -f gecode/vti.icc; then
-	     touch gecode/vti.icc;
-	   fi
-	   if (diff gecode/vti.icc gecode/vti.icc.new >/dev/null); then
-	     rm -f gecode/vti.icc.new;
-	   else
-	     rm -f gecode/vti.icc;
-	     mv gecode/vti.icc.new gecode/vti.icc;
-	   fi],
-	  [ac_gecode_vtis="${ac_gecode_vtis}"])
-
-dnl Macro:
-dnl   AC_GECODE_ENABLE_MODULE (module, default, help-string,
-dnl                            [ACTION-IF-ENABLED])
-dnl
-dnl Description:
-dnl   Produces a configure switch --enable-<module>.
-dnl
-dnl Authors:
-dnl   Guido Tack <tack@gecode.org>
-AC_DEFUN([AC_GECODE_ENABLE_MODULE],
-	 [
-     AC_ARG_ENABLE([$1],
-	   AC_HELP_STRING([--enable-$1],
-	     [$3 @<:@default=$2@:>@]))
-	 AC_MSG_CHECKING(whether to build $1)
-	 if test "${enable_$1:-$2}" = "yes"; then
-	    enable_$1="yes";
-	    AC_MSG_RESULT(yes)
-	    $4
-	 else
-	    enable_$1="no";
-	    AC_MSG_RESULT(no)
-	 fi
-   	 AC_SUBST(enable_$1, ${enable_$1})])	
-
-dnl Description:
-dnl   Makes an enable check for a contrib
-dnl   The third argument can be used for dependency checking 
-dnl
-dnl Authors:
-dnl   Gr�goire Dooms <dooms@info.ucl.ac.be>
-AC_DEFUN([AC_GECODE_ENABLE_CONTRIB],
-[
-   AC_ARG_ENABLE([$1],
-     AC_HELP_STRING([--enable-$1],[build $2 @<:@default=yes@:>@]))
-   AC_MSG_CHECKING(whether to build the $1 contrib library)
-   if test "${enable_$1:-yes}" = "yes"; then
-     AC_MSG_RESULT(yes)
-     enable_$1="yes";
-     $3
-   else
-     enable_$1="no";
-     AC_MSG_RESULT(no)
-   fi
-   AC_SUBST(enable_$1, ${enable_$1})])
-
-
-AC_DEFUN([AC_GECODE_STATICLIBS],
-	 [AC_ARG_ENABLE([static],
-	   AC_HELP_STRING([--enable-static],
-	     [build static libraries @<:@default=no@:>@]))
-	  AC_MSG_CHECKING(whether to build static libraries)
- 	  if test "${enable_static:-no}" = "yes"; then
- 	     AC_DEFINE(GECODE_STATIC_LIBS)
- 	     AC_SUBST(BUILDSTATIC, "yes")
- 	     AC_MSG_RESULT(yes)
- 	  else
- 	     AC_SUBST(BUILDSTATIC, "no")
- 	     AC_MSG_RESULT(no)
- 	  fi
-	  AC_ARG_ENABLE([shared],
-	   AC_HELP_STRING([--enable-shared],
-	     [build shared libraries @<:@default=yes@:>@]))
-	  AC_MSG_CHECKING(whether to build shared libraries)
- 	  if test "${enable_shared:-yes}" = "yes"; then
- 	     AC_SUBST(BUILDDLL, "yes")
- 	     AC_MSG_RESULT(yes)
- 	  else
- 	     AC_SUBST(BUILDDLL, "no")
- 	     if test "${enable_static:-no}" = "no"; then
- 	       AC_MSG_ERROR([One of --enable-static or --enable-shared must be given])
- 	     fi
- 	     AC_MSG_RESULT(no)
- 	  fi
-	  ])
-
-
-AC_DEFUN([AC_GECODE_DEBUG],
-	[AC_ARG_ENABLE([debug],
-	   AC_HELP_STRING([--enable-debug],
-	     [build with assertions @<:@default=no@:>@]))
-	 AC_MSG_CHECKING(whether to build with debug symbols and assertions)
-	 if test "${enable_debug:-no}" = "yes"; then
-	    AC_MSG_RESULT(yes)
-	 else
-	    AC_MSG_RESULT(no)
-       	    AC_GECODE_ADD_TO_CXXFLAGS(-DNDEBUG)
-	 fi])
-
-AC_DEFUN([AC_GECODE_LEAK_DEBUG],
-	[AC_ARG_ENABLE([leak-debug],
-	   AC_HELP_STRING([--enable-leak-debug],
-	     [build with support for finding memory leaks @<:@default=no@:>@]))
-	 AC_MSG_CHECKING(whether to build with support for finding memory leaks)
-	 if test "${enable_leak_debug:-no}" = "yes"; then
-	    AC_MSG_RESULT(yes)
-	    AC_CHECK_DECL(mtrace,
-			  [AC_DEFINE(GECODE_HAVE_MTRACE)],
-			  [AC_MSG_ERROR(mtrace not available.)],
-			  [[#include <mcheck.h>]])	    
-	 else
-	    AC_MSG_RESULT(no)
-	 fi])
-
-AC_DEFUN([AC_GECODE_AUDIT],
-	[AC_ARG_ENABLE([audit],
-	   AC_HELP_STRING([--enable-audit],
-	     [build with auditing code @<:@default=no@:>@]))
-	 AC_MSG_CHECKING(whether to build with auditing code)
-	 if test "${enable_audit:-no}" = "yes"; then
-	    AC_DEFINE(GECODE_AUDIT, 1)
-	    AC_MSG_RESULT(yes)
-	 else
-	    AC_DEFINE(GECODE_AUDIT, 0)
-	    AC_MSG_RESULT(no)
-	 fi])
-
-
-AC_DEFUN([AC_GECODE_PROFILE],
-	 [AC_ARG_ENABLE([profile],
-	   AC_HELP_STRING([--enable-profile],
-	     [build with profiling information @<:@default=no@:>@]))
-	 AC_MSG_CHECKING(whether to build with profiling information)
-	 if test "${enable_profile:-no}" = "yes"; then
-	    AC_MSG_RESULT(yes)
-	    AC_GECODE_CHECK_CXXFLAG(-pg,
-	       AC_GECODE_ADD_TO_CXXFLAGS(-pg),
-	       AC_GECODE_CHECK_CXXFLAG(-p))
-	 else
-	    AC_MSG_RESULT(no)
-	 fi])
-
-# Test for platform specific behaviour of arithmetic
-
-AC_DEFUN([AC_GECODE_CHECK_ARITH],
-	[AC_LANG_PUSH([C])
-	 AC_CHECK_SIZEOF(int)
-	 AC_MSG_CHECKING([if int has at least 32 bit])
-	 AC_TRY_COMPILE([],
-	   [
-	   #if SIZEOF_INT>=4
-	   #else
-	   blablub
-	   #endif
-	   ],
-	   [AC_MSG_RESULT(yes)],
-	   [AC_MSG_ERROR([Gecode needs at least 32 bit integers.])])
-
-	 AC_MSG_CHECKING([if doubles have a big enough mantissa])
-	 AC_TRY_COMPILE([#include <float.h>],
-	   [
-	   #if DBL_MANT_DIG>=53
-	   #else
-	   blablub
-	   #endif
-	   ],
-	   [AC_MSG_RESULT(yes)],
-	   [AC_MSG_ERROR([Gecode needs a double mantissa of at least 53 bits.])])
-
-	 AC_LANG_POP([C])])
-
-AC_DEFUN([AC_GECODE_GCC_GENERAL_SWITCHES],
- [AC_DEFINE(forceinline, [inline])
-  AC_GECODE_CHECK_CXXFLAG([-fPIC])
-  AC_GECODE_CHECK_CXXFLAG([-Wall])
-  AC_GECODE_CHECK_CXXFLAG(-ggdb,
-     AC_GECODE_ADD_TO_CXXFLAGS(-ggdb),
-     AC_GECODE_CHECK_CXXFLAG(-g))
-
-  AC_SUBST(docdir, "${datadir}/doc/gecode")
-
-  dnl file extensions
-  AC_SUBST(SBJEXT, "s")
-  AC_SUBST(LIBEXT, "${DLLEXT}")
-  AC_SUBST(LIBPREFIX, "libgecode")
-  AC_SUBST(STATICLIBEXT, "a")
-  AC_SUBST(MINUSLDIR, "-L${libdir}")
-  AC_SUBST(LINKLIBDIR, "")
-
-  cygpathprefix=$prefix
-  test "x$cygpathprefix" = xNONE && cygpathprefix=$ac_default_prefix
-  AC_SUBST(cygpathprefix, "${cygpathprefix}")
-
-  AC_SUBST(COMPILEOBJ, "-c -o ")
-  AC_SUBST(COMPILESBJ, "-S -o ")
-  AC_SUBST(COMPILERIN, " ")
-  AC_SUBST(EXAMPLES_EXTRA_CXXFLAGS, "")
-
-  dnl Do not install stub .lib files (required for msvc)
-  AC_SUBST(INSTALLLIBS, "no")
-
-  AC_SUBST(LINKPREFIX, "-lgecode")
-  AC_SUBST(LINKSUFFIX, "")
-
-  dnl how to tell the compiler to output an object file
-  AC_SUBST(LINKOUTPUT, "-o ")
-  dnl how to tell the compiler to output an executable
-  AC_SUBST(EXEOUTPUT, "-o ")
-
-  dnl the names of the generated dlls
-  AC_SUBST(KERNEL,  "kernel")
-  AC_SUBST(SEARCH,  "search")
-  AC_SUBST(INT,     "int")
-  AC_SUBST(SET,     "set")
-  AC_SUBST(MM,      "minimodel")])
-
-
-AC_DEFUN([AC_GECODE_GCC_OPTIMIZED_SWITCHES],
- [AC_GECODE_CHECK_CXXFLAG([-O3])
-  AC_GECODE_CHECK_CXXFLAG([-fno-strict-aliasing])])
-
-AC_DEFUN([AC_GECODE_GCC_VISIBILITY],
-  	[AC_ARG_ENABLE([gcc-visibility],
-	   AC_HELP_STRING([--enable-gcc-visibility],
-	     [use gcc visibility attributes @<:@default=no@:>@]))
-	 AC_MSG_CHECKING(whether to use gcc visibility attributes)
-	 if test "${enable_gcc_visibility:-no}" = "yes"; then
-	    AC_MSG_RESULT(yes)
-	    AC_GECODE_CHECK_CXXFLAG([-fvisibility=hidden],
-	      [AC_DEFINE(GCC_HASCLASSVISIBILITY)
-	        AC_GECODE_ADD_TO_CXXFLAGS([-fvisibility=hidden])
-	        AC_GECODE_CHECK_CXXFLAG([-fno-rtti])],
-	       [])
-	 else
-	    AC_MSG_RESULT(no)
-	 fi])
-
-AC_DEFUN([AC_GECODE_GCC_DEBUG_SWITCHES],
-  [AC_GECODE_CHECK_CXXFLAG([-fno-inline-functions])
-   AC_GECODE_CHECK_CXXFLAG([-fimplement-inlines])])
-
-AC_DEFUN([AC_GECODE_NO_BUILDFLAGS],
-  [AC_SUBST(GECODE_BUILD_KERNEL_FLAG, "")
-   AC_SUBST(GECODE_BUILD_SEARCH_FLAG, "")
-   AC_SUBST(GECODE_BUILD_INT_FLAG, "")
-   AC_SUBST(GECODE_BUILD_SET_FLAG, "")
-   AC_SUBST(GECODE_BUILD_MINIMODEL_FLAG, "")])
-
-AC_DEFUN([AC_GECODE_BUILDFLAGS],
-  [AC_SUBST(GECODE_BUILD_KERNEL_FLAG, "-DGECODE_BUILD_KERNEL")
-   AC_SUBST(GECODE_BUILD_SEARCH_FLAG, "-DGECODE_BUILD_SEARCH")
-   AC_SUBST(GECODE_BUILD_INT_FLAG, "-DGECODE_BUILD_INT")
-   AC_SUBST(GECODE_BUILD_SET_FLAG, "-DGECODE_BUILD_SET")
-   AC_SUBST(GECODE_BUILD_MINIMODEL_FLAG, "-DGECODE_BUILD_MINIMODEL")])
-
-
-AC_DEFUN([AC_GECODE_UNIX_PATHS],
- [AC_SUBST(DLLPATH, [-L.])
-  dnl flags for creating dlls
-  case $host_os in
-     darwin*)
-       AC_SUBST(need_soname, "yes")
-       AC_GECODE_ADD_TO_DLLFLAGS("-dynamiclib")
-       AC_SUBST(DLLEXT, "${ac_gecode_soversion}.0.dylib")
-       AC_SUBST(SOSUFFIX, ".${ac_gecode_soversion}.dylib")
-       AC_SUBST(SOLINKSUFFIX, ".dylib")
-       AC_SUBST(sharedlibdir, "${libdir}")
-       AC_SUBST(WLSONAME, "-compatibility_version ${ac_gecode_soversion}.0 -current_version ${ac_gecode_soversion}.0 -install_name ${libdir}/")
-       AC_GECODE_NO_BUILDFLAGS
-       ;;
-     windows*)
-       AC_SUBST(need_soname, "no")
-       if test "${enable_static:-no}"  = "yes" -a \
-	       "${enable_shared:-yes}" = "yes"; then
-         AC_MSG_ERROR([Only either static or shared libraries can be built.])
-       fi
-       AC_GECODE_ADD_TO_DLLFLAGS("-shared")
-       AC_SUBST(DLLEXT, "dll")
-       AC_SUBST(SOSUFFIX, "")
-       AC_SUBST(SOLINKSUFFIX, "")
-       AC_SUBST(WLSONAME, "")
-       if test "${enable_static:-no}" = "no"; then
-	  AC_SUBST(sharedlibdir, "${bindir}")
-       else
-          AC_SUBST(sharedlibdir, "${libdir}")
-       fi
-       AC_GECODE_BUILDFLAGS
-       ;;
-     *)
-       AC_SUBST(need_soname, "yes")
-       AC_GECODE_ADD_TO_DLLFLAGS("-shared")
-       AC_SUBST(DLLEXT, "so.${ac_gecode_soversion}.0")
-       AC_SUBST(SOSUFFIX, ".so.${ac_gecode_soversion}")
-       AC_SUBST(SOLINKSUFFIX, ".so")
-       AC_SUBST(WLSONAME, ["-Wl,-soname="])
-       AC_SUBST(sharedlibdir, "${libdir}")
-       AC_GECODE_NO_BUILDFLAGS
-       ;;
-  esac])
-
-AC_DEFUN([AC_GECODE_MSVC_SWITCHES],
- [dnl general compiler flags
-  AC_DEFINE(forceinline,[__forceinline])
-  AC_GECODE_ADD_TO_CXXFLAGS([-nologo])
-  AC_GECODE_ADD_TO_CXXFLAGS([-EHsc])
-  AC_DEFINE(GECODE_MEMORY_ALIGNMENT, 4)
-
-  if test "${enable_debug:-no}" = "no"; then
-    dnl compiler flags for an optimized build
-    AC_GECODE_ADD_TO_CXXFLAGS([-Ox -fp:fast])
-
-    dnl flags for creating optimized dlls
-    AC_GECODE_ADD_TO_DLLFLAGS([${CXXFLAGS} -LD -MD])
-  else
-    dnl compiler flags for a debug build
-    AC_GECODE_ADD_TO_CXXFLAGS([-Zi])  
-
-    dnl flags for creating debug dlls
-    AC_GECODE_ADD_TO_DLLFLAGS([${CXXFLAGS} -LDd MDd])
-  fi
-
-  AC_SUBST(sharedlibdir, "${bindir}")
-  AC_SUBST(docdir, "${prefix}")
-  if test "${enable_static:-no}" = "yes"; then
-    AC_MSG_ERROR([Static linking not supported for Windows/cl.])
-  fi
-
-  dnl linker flags
-  AC_GECODE_ADD_TO_LDFLAGS([-link])
-  AC_SUBST(DLLPATH, "")
-
-  dnl file extensions
-  AC_SUBST(SBJEXT, "sbj")
-  AC_SUBST(DLLEXT, "dll")
-  AC_SUBST(SOSUFFIX, "")
-  AC_SUBST(SOLINKSUFFIX, "")
-  AC_SUBST(WLSONAME, "")
-  AC_SUBST(LIBEXT, "lib")
-  AC_SUBST(LIBPREFIX, "Gecode")
-  AC_SUBST(LINKPREFIX, "Gecode")
-  AC_SUBST(LINKSUFFIX, ".lib")
-  AC_SUBST(MINUSLDIR, "")
-  AC_SUBST(LINKLIBDIR, "${libdir}/")
-
-  cygpathprefix=$prefix
-  test "x$cygpathprefix" = xNONE && cygpathprefix=$ac_default_prefix
-  cygpathprefix=`cygpath -m ${cygpathprefix}`
-
-  AC_SUBST(cygpathprefix, "${cygpathprefix}")
-  AC_GECODE_BUILDFLAGS
-
-  dnl compiler options
-  AC_SUBST(COMPILEOBJ, "-c -Fo")
-  AC_SUBST(COMPILESBJ, "-c -Fa")
-  AC_SUBST(COMPILERIN, "-Tp")
-  AC_SUBST(EXAMPLES_EXTRA_CXXFLAGS, "-wd4355")
-
-  dnl Install stub .lib files (required for msvc)
-  AC_SUBST(INSTALLLIBS, "yes")
-
-  dnl how to tell the compiler to output an object file
-  AC_SUBST(LINKOUTPUT, "-Fe")
-  dnl how to tell the compiler to output an executable
-  AC_SUBST(EXEOUTPUT, "-Fe")
-
-  dnl the names of the generated dlls
-  AC_SUBST(KERNEL,  "Kernel")
-  AC_SUBST(SEARCH,  "Search")
-  AC_SUBST(INT,     "Int")
-  AC_SUBST(SET,     "Set")
-  AC_SUBST(MM,      "Minimodel")])
-
-dnl Macro:
-dnl   AC_GECODE_DOC_SWITCHES
-dnl
-dnl Description:
-dnl   Produces the configure switches --enable-doc-search,
-dnl   --enable-doc-chm, and --enable-doc-tagfile.
-dnl
-dnl Authors:
-dnl   Guido Tack <tack@gecode.org>
-AC_DEFUN([AC_GECODE_DOC_SWITCHES],
-  [dnl check if we can use dot for generating graphs in the documentation
-   AC_ARG_ENABLE([doc-dot],
-     AC_HELP_STRING([--enable-doc-dot],
-	[enable graphs in documentation @<:@default=yes@:>@]))
-   AC_CHECK_PROG(DOT, dot, dot)
-   AC_MSG_CHECKING(whether to enable graphs in the documentation)
-   if test "${enable_doc_dot:-yes}" = "yes"; then
-     if test x$DOT = x; then
-        if test x"${enable_doc_dot}" = x; then
-	  AC_MSG_RESULT(no)
-     	  AC_SUBST(GECODE_DOXYGEN_DOT, NO)
-	else
-          AC_MSG_ERROR(you need the dot tool from graphviz to generate graphs in the documentation)
-	fi
-     else
-        AC_MSG_RESULT(yes)
-	AC_SUBST(GECODE_DOXYGEN_DOT, YES)
-     fi
-   else
-     AC_MSG_RESULT(no)
-     AC_SUBST(GECODE_DOXYGEN_DOT, NO)
-   fi
-
-   AC_ARG_ENABLE([doc-search],
-     AC_HELP_STRING([--enable-doc-search],
-	[enable documentation search engine @<:@default=no@:>@]))
-   AC_MSG_CHECKING(whether to enable the documentation search engine)
-   if test "${enable_doc_search:-no}" = "yes"; then
-     AC_MSG_RESULT(yes)
-     AC_SUBST(ENABLEDOCSEARCH, "yes")
-   else
-     AC_MSG_RESULT(no)
-     AC_SUBST(ENABLEDOCSEARCH, "no")
-   fi
-   AC_ARG_ENABLE([doc-tagfile],
-     AC_HELP_STRING([--enable-doc-tagfile],
-	[generate doxygen tagfile @<:@default=no@:>@]))
-   AC_MSG_CHECKING(whether to generate a doxygen tagfile)
-   if test "${enable_doc_tagfile:-no}" = "yes"; then
-     AC_MSG_RESULT(yes)
-     AC_SUBST(GECODE_DOXYGEN_TAGFILE, "doc/gecode-doc.tag")
-   else
-     AC_MSG_RESULT(no)
-     AC_SUBST(GECODE_DOXYGEN_TAGFILE, [])
-   fi
-   AC_ARG_ENABLE([doc-chm],
-     AC_HELP_STRING([--enable-doc-chm],
-	[build compressed html documentation @<:@default=yes on Windows@:>@]))
-   AC_MSG_CHECKING(whether to build compressed html documentation)
-   case $host_os in
-	windows*)
-   		if test "${enable_doc_chm:-yes}" = "yes"; then
-		  AC_MSG_RESULT(yes)
-     		  AC_SUBST(ENABLEDOCCHM, "yes")
-                  AC_SUBST(ENABLEDOCSEARCH, "no")
-   		else
-     		  AC_MSG_RESULT(no)
-     		  AC_SUBST(ENABLEDOCCHM, "no")
-   		fi
-	;;
-	*)
-   		if test "${enable_doc_chm:-no}" = "yes"; then
-		  AC_MSG_ERROR([building chms is only supported on Windows.])
-   		else
-     		  AC_MSG_RESULT(no)
-     		  AC_SUBST(ENABLEDOCCHM, "no")
-   		fi
-	;;
-   esac])
-
-dnl Macro:
-dnl   AC_GECODE_UNIVERSAL
-dnl
-dnl Description:
-dnl   Produces the configure switches --enable-universal and --with-sdk
-dnl   for compiling universal binaries on Mac OS X.
-dnl
-dnl Authors:
-dnl   Guido Tack <tack@gecode.org>
-AC_DEFUN([AC_GECODE_UNIVERSAL],
-  [dnl build universal binaries on Mac OS X
-  AC_ARG_WITH([sdk],
-    AC_HELP_STRING([--with-sdk],
-	[SDK to use on Mac OS X]))
-  if test "${host_os}" = "darwin"; then
-    if test "${with_sdk:-no}" != "no"; then
-      AC_GECODE_CHECK_CXXFLAG([-isysroot ${with_sdk}])
-      AC_GECODE_ADD_TO_DLLFLAGS([-Wl,-syslibroot,${with_sdk}])
-    fi
-  fi
-  AC_ARG_ENABLE([universal],
-    AC_HELP_STRING([--enable-universal],
-	[build universal binaries on Mac OS X @<:@default=no@:>@]))
-  if test "${host_os}" = "darwin"; then
-    AC_MSG_CHECKING(whether to build universal binaries on Mac OS X)
-    if test "${enable_universal:-no}" = "yes"; then
-      AC_MSG_RESULT(yes)
-      AC_GECODE_CHECK_CXXFLAG([-arch i386 -arch ppc])
-      AC_GECODE_ADD_TO_DLLFLAGS([-arch i386 -arch ppc])
-    else
-      AC_MSG_RESULT(no)
-    fi
-  fi
-
-])