contrib/my-configure

   1 # Includes the contents of the file .cvc4_config, if it exists,
   2 # on the ./configure command line
   3
   4 #! /bin/bash
   5
   6 CONFIG_OPTIONS=
   7
   8 if [ -e .cvc4_config ]; then
   9   CONFIG_OPTIONS=`cat .cvc4_config`
  10 fi
  11
  12 ./configure $CONFIG_OPTIONS $*