# 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 $*
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback