gecoder-with-gecode 0.9.0 → 0.9.1

data/ext/gecode-2.1.1/configure.ac

@@ -1,249 +0,0 @@
-dnl This file was generated by Makefile.contribs.
-dnl Do not edit! Modifications will get lost!
-dnl Edit configure.ac.in instead.
-
-dnl
-dnl Main authors:
-dnl   Guido Tack <tack@gecode.org>
-dnl
-dnl Copyright:
-dnl   Guido Tack, 2004, 2005
-dnl
-dnl Last modified:
-dnl   $Date: 2008-02-29 10:04:11 +0100 (Fri, 29 Feb 2008) $
-dnl   by $Author: tack $
-dnl   $Revision: 6368 $
-dnl
-dnl This file is part of Gecode, the generic constraint
-dnl development environment:
-dnl   http://www.gecode.org
-dnl
-dnl Permission is hereby granted, free of charge, to any person obtaining
-dnl a copy of this software and associated documentation files (the
-dnl "Software"), to deal in the Software without restriction, including
-dnl without limitation the rights to use, copy, modify, merge, publish,
-dnl distribute, sublicense, and/or sell copies of the Software, and to
-dnl permit persons to whom the Software is furnished to do so, subject to
-dnl the following conditions:
-dnl
-dnl The above copyright notice and this permission notice shall be
-dnl included in all copies or substantial portions of the Software.
-dnl
-dnl THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
-dnl EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
-dnl MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
-dnl NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
-dnl LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
-dnl OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
-dnl WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
-dnl
-dnl
-
-AC_REVISION([$Id: configure.ac 6368 2008-02-29 09:04:11Z tack $])
-AC_PREREQ(2.53)
-AC_INIT(GECODE, 2.1.1, users@gecode.org)
-AC_CONFIG_HEADERS([gecode/support/config.icc])
-AC_CONFIG_SRCDIR(gecode/kernel.hh)
-
-ac_gecode_soversion=12
-AC_SUBST(GECODE_SOVERSION, ${ac_gecode_soversion})
-
-# checks for programs
-
-: ${CXXFLAGS=""} dnl we do not want autoconf's default
-: ${CFLAGS=""}   dnl we do not want autoconf's default
-: ${DLLFLAGS=""}   dnl we do not want autoconf's default
-: ${GLDFLAGS=""}   dnl we do not want autoconf's default
-
-AC_PROG_CXX
-AC_PROG_CC
-AC_LANG(C++)
-
-AC_PROG_RANLIB
-
-dnl include Gecode specific macros
-m4_include([gecode.m4])
-
-dnl check whether we have pkgconfig and should generate config files for it
-AC_GECODE_PKGCONFIG
-
-dnl check whether we have certain programs we need
-AC_CHECK_PROG(PROG_DIFF, diff, [ok])
- if test "${PROG_DIFF}x" = "x"; then
-    AC_MSG_ERROR([In order to compile Gecode, you need the diff tool.])
- fi
-AC_CHECK_PROG(PROG_TAR, tar, [ok])
- if test "${PROG_TAR}x" = "x"; then
-    AC_MSG_ERROR([In order to compile Gecode, you need the tar tool.])
- fi
-AC_CHECK_PROG(PROG_MAKE, make, [ok])
- if test "${PROG_MAKE}x" = "x"; then
-    AC_MSG_ERROR([In order to compile Gecode, you need the make tool.])
- fi
-AC_CHECK_PROG(PROG_SED, sed, [ok])
- if test "${PROG_SED}x" = "x"; then
-    AC_MSG_ERROR([In order to compile Gecode, you need the sed tool.])
- fi
-AC_CHECK_PROG(PROG_PERL, perl, [ok])
- if test "${PROG_PERL}x" = "x"; then
-    AC_MSG_ERROR([In order to compile Gecode, you need perl.])
- fi
-
-dnl determine the operating system
-AC_GECODE_GET_OS
-
-dnl determine which compiler we are using
-AC_CXX_COMPILER_VENDOR(ac_gecode_compiler_vendor)
-
-dnl check whether we want to build universal binaries on Mac OS X
-AC_GECODE_UNIVERSAL
-
-dnl check whether we want to build static libraries
-AC_GECODE_STATICLIBS
-
-dnl check whether we want to build a framework bundle on Mac OS X
-AC_GECODE_FRAMEWORK
-
-dnl check whether we want to have assertions and debugging options
-AC_GECODE_DEBUG
-
-dnl check whether we want to have support for finding memory leaks
-AC_GECODE_LEAK_DEBUG
-
-dnl check whether we want audit code in our build
-AC_GECODE_AUDIT
-
-dnl check whether we want to use visibility attributes with gcc
-AC_GECODE_GCC_VISIBILITY
-
-dnl check whether we want to produce code suitable for profiling
-AC_GECODE_PROFILE
-
-dnl check whether we want to produce code instrumented for gcov
-AC_GECODE_GCOV
-
-dnl check platform specific behaviour of arithmetic
-AC_GECODE_CHECK_ARITH
-
-dnl check whether we compile with boost support
-AC_GECODE_BOOST_SERIALIZATION
-
-case $ac_gecode_compiler_vendor in
-gnu)
-  dnl general compiler flags
-  AC_GECODE_UNIX_PATHS
-  AC_GECODE_GCC_GENERAL_SWITCHES
-
-  if test "${enable_debug:-no}" = "no" -a "${enable_gcov:-no}" = "no"; then
-    dnl compiler flags for an optimized build
-    AC_GECODE_GCC_OPTIMIZED_SWITCHES
-
-    AC_GECODE_CHECK_COMPILERFLAG([-finline-limit=3000])
-    AC_GECODE_CHECK_COMPILERFLAG([-ffast-math])
-    AC_GECODE_CHECK_COMPILERFLAG([-mthreads])
-  else
-    if test "${enable_debug:-no}" = "yes"; then
-      dnl compiler flags for a debug build
-      AC_GECODE_GCC_DEBUG_SWITCHES
-    fi
-  fi
-
-  ;;
-intel)
-  dnl flags for creating dlls
-  case $host_os in
-     windows*)
-       AC_GECODE_MSVC_SWITCHES
-       ;;
-     *)
-       dnl general compiler flags
-       AC_GECODE_UNIX_PATHS
-       AC_GECODE_GCC_GENERAL_SWITCHES
-
-       if test "${enable_debug:-no}" = "no"; then
-         dnl compiler flags for an optimized build
-	 AC_GECODE_GCC_OPTIMIZED_SWITCHES
-       else
-         dnl compiler flags for a debug build
-	 AC_GECODE_GCC_DEBUG_SWITCHES
-       fi
-       ;;
-  esac
-  ;;
-microsoft)
-  AC_GECODE_MSVC_SWITCHES
-  ;;
-*)
-  AC_MSG_ERROR(Gecode currently only supports the GNU and Microsoft compilers.)
-  ;;
-esac
-
-dnl find out what parts the user wants to build
-
-AC_GECODE_DOC_SWITCHES
-
-dnl ------------------------------------------------------------------
-dnl Enabling of non-variable contribs
-dnl @CONTRIBS@
-
-dnl ------------------------------------------------------------------
-dnl Definition of variable types
-
-dnl Include contributor's vtis
-dnl @VTIS@
-
-AC_GECODE_VTI(set,
-	[finite set library (implies --enable-int-vars)],
-	yes,
-	[enable_int_vars="yes";])
-
-if test "${enable_set_vars}" != "yes"; then
-	enable_cpltset_vars="no"
-fi
-
-AC_GECODE_VTI(cpltset, finite set library using complete domain representation (can only be used with --enable-set-vars), yes, [])
-
-AC_GECODE_VTI(int, finite domain library, yes, [])
-
-dnl End of definition of variable types
-dnl ------------------------------------------------------------------
-
-AC_GECODE_GIST
-AC_GECODE_QT
-
-AC_GECODE_ENABLE_MODULE(examples, yes,
-	[build examples for the enabled variable types],
-	[enable_search="yes";
-	 if test ${enable_int_vars:-yes} = "yes"; then
-	   enable_minimodel="yes";
-	 fi;
-	])
-
-AC_GECODE_ENABLE_MODULE(minimodel, yes,
-	[build modeling support library for the enabled variable types])
-
-AC_GECODE_ENABLE_MODULE(serialization, yes,
-	[build serialization library],
-	[AC_DEFINE(GECODE_HAS_SERIALIZATION)])
-
-AC_GECODE_ENABLE_MODULE(search, yes,
-        [build search engines])
-
-dnl Configure contributions
-AC_CONFIG_SUBDIRS()
-dnl @SUBDIRS@
-
-AC_SUBST(PKG_CONFIG_CXXFLAGS, ${ac_gecode_pkg_cxxflags})
-AC_SUBST(VERSION, ${PACKAGE_VERSION})
-AC_SUBST(DLLFLAGS, ${DLLFLAGS})
-AC_SUBST(GLDFLAGS, ${GLDFLAGS})
-
-AC_CONFIG_FILES([Makefile])
-AC_CONFIG_FILES([doxygen.conf:doxygen/doxygen.conf.in])
-AC_CONFIG_FILES([doxygen.hh:doxygen/doxygen.hh.in])
-AC_CONFIG_FILES([misc/gecode.pc])
-AC_CONFIG_FILES([misc/gecode-search.pc])
-AC_CONFIG_FILES([misc/gecode-serialization.pc])
-AC_CONFIG_FILES([misc/gecode-minimodel.pc])
-AC_CONFIG_FILES([misc/gecode-gist.pc])
-AC_OUTPUT

data/ext/gecode-2.1.1/configure.ac.in

@@ -1,245 +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: 2008-02-29 10:04:11 +0100 (Fri, 29 Feb 2008) $
-dnl   by $Author: tack $
-dnl   $Revision: 6368 $
-dnl
-dnl This file is part of Gecode, the generic constraint
-dnl development environment:
-dnl   http://www.gecode.org
-dnl
-dnl Permission is hereby granted, free of charge, to any person obtaining
-dnl a copy of this software and associated documentation files (the
-dnl "Software"), to deal in the Software without restriction, including
-dnl without limitation the rights to use, copy, modify, merge, publish,
-dnl distribute, sublicense, and/or sell copies of the Software, and to
-dnl permit persons to whom the Software is furnished to do so, subject to
-dnl the following conditions:
-dnl
-dnl The above copyright notice and this permission notice shall be
-dnl included in all copies or substantial portions of the Software.
-dnl
-dnl THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
-dnl EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
-dnl MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
-dnl NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
-dnl LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
-dnl OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
-dnl WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
-dnl
-dnl
-
-AC_REVISION([$Id: configure.ac.in 6368 2008-02-29 09:04:11Z tack $])
-AC_PREREQ(2.53)
-AC_INIT(GECODE, 2.1.1, users@gecode.org)
-AC_CONFIG_HEADERS([gecode/support/config.icc])
-AC_CONFIG_SRCDIR(gecode/kernel.hh)
-
-ac_gecode_soversion=12
-AC_SUBST(GECODE_SOVERSION, ${ac_gecode_soversion})
-
-# checks for programs
-
-: ${CXXFLAGS=""} dnl we do not want autoconf's default
-: ${CFLAGS=""}   dnl we do not want autoconf's default
-: ${DLLFLAGS=""}   dnl we do not want autoconf's default
-: ${GLDFLAGS=""}   dnl we do not want autoconf's default
-
-AC_PROG_CXX
-AC_PROG_CC
-AC_LANG(C++)
-
-AC_PROG_RANLIB
-
-dnl include Gecode specific macros
-m4_include([gecode.m4])
-
-dnl check whether we have pkgconfig and should generate config files for it
-AC_GECODE_PKGCONFIG
-
-dnl check whether we have certain programs we need
-AC_CHECK_PROG(PROG_DIFF, diff, [ok])
- if test "${PROG_DIFF}x" = "x"; then
-    AC_MSG_ERROR([In order to compile Gecode, you need the diff tool.])
- fi
-AC_CHECK_PROG(PROG_TAR, tar, [ok])
- if test "${PROG_TAR}x" = "x"; then
-    AC_MSG_ERROR([In order to compile Gecode, you need the tar tool.])
- fi
-AC_CHECK_PROG(PROG_MAKE, make, [ok])
- if test "${PROG_MAKE}x" = "x"; then
-    AC_MSG_ERROR([In order to compile Gecode, you need the make tool.])
- fi
-AC_CHECK_PROG(PROG_SED, sed, [ok])
- if test "${PROG_SED}x" = "x"; then
-    AC_MSG_ERROR([In order to compile Gecode, you need the sed tool.])
- fi
-AC_CHECK_PROG(PROG_PERL, perl, [ok])
- if test "${PROG_PERL}x" = "x"; then
-    AC_MSG_ERROR([In order to compile Gecode, you need perl.])
- fi
-
-dnl determine the operating system
-AC_GECODE_GET_OS
-
-dnl determine which compiler we are using
-AC_CXX_COMPILER_VENDOR(ac_gecode_compiler_vendor)
-
-dnl check whether we want to build universal binaries on Mac OS X
-AC_GECODE_UNIVERSAL
-
-dnl check whether we want to build static libraries
-AC_GECODE_STATICLIBS
-
-dnl check whether we want to build a framework bundle on Mac OS X
-AC_GECODE_FRAMEWORK
-
-dnl check whether we want to have assertions and debugging options
-AC_GECODE_DEBUG
-
-dnl check whether we want to have support for finding memory leaks
-AC_GECODE_LEAK_DEBUG
-
-dnl check whether we want audit code in our build
-AC_GECODE_AUDIT
-
-dnl check whether we want to use visibility attributes with gcc
-AC_GECODE_GCC_VISIBILITY
-
-dnl check whether we want to produce code suitable for profiling
-AC_GECODE_PROFILE
-
-dnl check whether we want to produce code instrumented for gcov
-AC_GECODE_GCOV
-
-dnl check platform specific behaviour of arithmetic
-AC_GECODE_CHECK_ARITH
-
-dnl check whether we compile with boost support
-AC_GECODE_BOOST_SERIALIZATION
-
-case $ac_gecode_compiler_vendor in
-gnu)
-  dnl general compiler flags
-  AC_GECODE_UNIX_PATHS
-  AC_GECODE_GCC_GENERAL_SWITCHES
-
-  if test "${enable_debug:-no}" = "no" -a "${enable_gcov:-no}" = "no"; then
-    dnl compiler flags for an optimized build
-    AC_GECODE_GCC_OPTIMIZED_SWITCHES
-
-    AC_GECODE_CHECK_COMPILERFLAG([-finline-limit=3000])
-    AC_GECODE_CHECK_COMPILERFLAG([-ffast-math])
-    AC_GECODE_CHECK_COMPILERFLAG([-mthreads])
-  else
-    if test "${enable_debug:-no}" = "yes"; then
-      dnl compiler flags for a debug build
-      AC_GECODE_GCC_DEBUG_SWITCHES
-    fi
-  fi
-
-  ;;
-intel)
-  dnl flags for creating dlls
-  case $host_os in
-     windows*)
-       AC_GECODE_MSVC_SWITCHES
-       ;;
-     *)
-       dnl general compiler flags
-       AC_GECODE_UNIX_PATHS
-       AC_GECODE_GCC_GENERAL_SWITCHES
-
-       if test "${enable_debug:-no}" = "no"; then
-         dnl compiler flags for an optimized build
-	 AC_GECODE_GCC_OPTIMIZED_SWITCHES
-       else
-         dnl compiler flags for a debug build
-	 AC_GECODE_GCC_DEBUG_SWITCHES
-       fi
-       ;;
-  esac
-  ;;
-microsoft)
-  AC_GECODE_MSVC_SWITCHES
-  ;;
-*)
-  AC_MSG_ERROR(Gecode currently only supports the GNU and Microsoft compilers.)
-  ;;
-esac
-
-dnl find out what parts the user wants to build
-
-AC_GECODE_DOC_SWITCHES
-
-dnl ------------------------------------------------------------------
-dnl Enabling of non-variable contribs
-dnl @CONTRIBS@
-
-dnl ------------------------------------------------------------------
-dnl Definition of variable types
-
-dnl Include contributor's vtis
-dnl @VTIS@
-
-AC_GECODE_VTI(set,
-	[finite set library (implies --enable-int-vars)],
-	yes,
-	[enable_int_vars="yes";])
-
-if test "${enable_set_vars}" != "yes"; then
-	enable_cpltset_vars="no"
-fi
-
-AC_GECODE_VTI(cpltset, finite set library using complete domain representation (can only be used with --enable-set-vars), yes, [])
-
-AC_GECODE_VTI(int, finite domain library, yes, [])
-
-dnl End of definition of variable types
-dnl ------------------------------------------------------------------
-
-AC_GECODE_GIST
-AC_GECODE_QT
-
-AC_GECODE_ENABLE_MODULE(examples, yes,
-	[build examples for the enabled variable types],
-	[enable_search="yes";
-	 if test ${enable_int_vars:-yes} = "yes"; then
-	   enable_minimodel="yes";
-	 fi;
-	])
-
-AC_GECODE_ENABLE_MODULE(minimodel, yes,
-	[build modeling support library for the enabled variable types])
-
-AC_GECODE_ENABLE_MODULE(serialization, yes,
-	[build serialization library],
-	[AC_DEFINE(GECODE_HAS_SERIALIZATION)])
-
-AC_GECODE_ENABLE_MODULE(search, yes,
-        [build search engines])
-
-dnl Configure contributions
-AC_CONFIG_SUBDIRS()
-dnl @SUBDIRS@
-
-AC_SUBST(PKG_CONFIG_CXXFLAGS, ${ac_gecode_pkg_cxxflags})
-AC_SUBST(VERSION, ${PACKAGE_VERSION})
-AC_SUBST(DLLFLAGS, ${DLLFLAGS})
-AC_SUBST(GLDFLAGS, ${GLDFLAGS})
-
-AC_CONFIG_FILES([Makefile])
-AC_CONFIG_FILES([doxygen.conf:doxygen/doxygen.conf.in])
-AC_CONFIG_FILES([doxygen.hh:doxygen/doxygen.hh.in])
-AC_CONFIG_FILES([misc/gecode.pc])
-AC_CONFIG_FILES([misc/gecode-search.pc])
-AC_CONFIG_FILES([misc/gecode-serialization.pc])
-AC_CONFIG_FILES([misc/gecode-minimodel.pc])
-AC_CONFIG_FILES([misc/gecode-gist.pc])
-AC_OUTPUT