summaryrefslogtreecommitdiff
path: root/contrib/my-configure
blob: dce46fc6791cfdbc106d9ae5ebd52c7abffa7758 (plain) 
1
2
3
4
5
6
7
8
9

#! /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