logic-TPTP-0.2.0: profiling-build.sh

set -e

cabal clean 
cabal install --enable-library-profiling --ghc-option=-auto-all --disable-documentation