From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Tue, 11 Sep 2018 16:11:41 +0000 (-0700)
Subject: cmake: configure.sh wrapper: Removed env vars help text.
X-Git-Tag: cvc5-1.0.0~4565
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9a1507d1907e7a504fc67d14b4ecb0a1fa1ed10f;p=cvc5.git

cmake: configure.sh wrapper: Removed env vars help text.
---

diff --git a/configure.sh b/configure.sh
index 0a4aa996f..e71386c27 100755
--- a/configure.sh
+++ b/configure.sh
@@ -71,78 +71,6 @@ EOF
   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 () {