summaryrefslogtreecommitdiff
path: root/contrib/my-configure
blob: 65a64895d6fccba8ff01df5792aee8469bdac8bb (plain) 
1
2
3
4
5
6
7
8
9
10
11
12

# 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