build_all 604 Bytes
Newer Older
David Speck's avatar
David Speck committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36
#! /bin/bash

cd preprocess
make "$@" || exit 1
cd ..

cd search
# here add meddly
cd meddly
./autogen.sh || exit 1
./configure CXXFLAGS="-O3" --without-gmp || exit 1
make "$@" || exit 1
make install || exit 1
cd ..

make "$@" STATE_VAR_BYTES=1 || exit 1
make "$@" STATE_VAR_BYTES=2 || exit 1
make "$@" STATE_VAR_BYTES=4 || exit 1
cd ..

type flex >& /dev/null
if [ $? != 0 ]; then
    echo cannot build validator: flex not found
    exit 1
fi

type bison >& /dev/null
if [ $? != 0 ]; then
    echo cannot build validator: bison not found
    exit 1
fi

cd VAL
make "$@" || exit 1
#cp validate ../
cd ..