exit 0
}
-#To assign environment variables (e.g., CC, CFLAGS...), specify them as
-#VAR=VALUE. See below for descriptions of some of the useful variables.
-#
-#Some influential environment variables:
-# CXX C++ compiler command
-# CXXFLAGS C++ compiler flags
-# LDFLAGS linker flags, e.g. -L<lib dir> if you have libraries in a
-# nonstandard directory <lib dir>
-# LIBS libraries to pass to the linker, e.g. -l<library>
-# CPPFLAGS (Objective) C/C++ preprocessor flags, e.g. -I<include dir> if
-# you have headers in a nonstandard directory <include dir>
-# CC C compiler command
-# CFLAGS C compiler flags
-# LT_SYS_LIBRARY_PATH
-# User-defined run-time library search path.
-# CPP C preprocessor
-# CXXCPP C++ preprocessor
-# PKG_CONFIG path to pkg-config utility
-# CLN_CFLAGS C compiler flags for CLN, overriding pkg-config
-# CLN_LIBS linker flags for CLN, overriding pkg-config
-# GLPK_HOME path to top level of glpk installation
-# ABC_HOME path to top level of abc source tree
-# CADICAL_HOME
-# path to top level of CaDiCaL source tree
-# CRYPTOMINISAT_HOME
-# path to top level of cryptominisat source tree
-# LFSC_HOME path to top level of LFSC source tree
-# SYMFPU_HOME path to top level of symfpu source tree
-# ANTLR location of the antlr3 script
-# DOXYGEN_PAPER_SIZE
-# a4wide (default), a4, letter, legal or executive
-# CXXTEST path to CxxTest installation
-# TEST_CPPFLAGS
-# CPPFLAGS to use when testing (default=$CPPFLAGS)
-# TEST_CXXFLAGS
-# CXXFLAGS to use when testing (default=$CXXFLAGS)
-# TEST_LDFLAGS
-# LDFLAGS to use when testing (default=$LDFLAGS)
-# PERL PERL interpreter (used when testing)
-# PYTHON the Python interpreter
-# ANTLR_HOME path to libantlr3c installation
-# SWIG SWIG binary (used to generate language bindings)
-# JAVA_CPPFLAGS
-# flags to pass to compiler when building Java bindings
-# CSHARP_CPPFLAGS
-# flags to pass to compiler when building C# bindings
-# PERL_CPPFLAGS
-# flags to pass to compiler when building perl bindings
-# PHP_CPPFLAGS
-# flags to pass to compiler when building PHP bindings
-# PYTHON_INCLUDE
-# Include flags for python, bypassing python-config
-# PYTHON_CONFIG
-# Path to python-config
-# RUBY_CPPFLAGS
-# flags to pass to compiler when building ruby bindings
-# TCL_CPPFLAGS
-# flags to pass to compiler when building tcl bindings
-# OCAMLC OCaml compiler
-# OCAMLMKTOP OCaml runtime-maker
-# OCAMLFIND OCaml-find binary
-# CAMLP4O camlp4o binary
-# BOOST_ROOT Location of Boost installation
-# JAVA Java interpreter (used when testing Java interface)
-# JAVAC Java compiler (used when building and testing Java interface)
-# JAVAH Java compiler (used when building and testing Java interface)
-# JAR Jar archiver (used when building Java interface)
-#
-#Use these variables to override the choices made by `configure' or to help
-#it to find libraries and programs with nonstandard names/locations.
-
-
#--------------------------------------------------------------------------#
die () {