# Includes the contents of the file .cvc4_config, if it exists, 
# on the ./configure command line

#! /bin/bash

CONFIG_OPTIONS=

if [ -e .cvc4_config ]; then
  CONFIG_OPTIONS=`cat .cvc4_config`
fi

./configure $CONFIG_OPTIONS $*