diff options
| author | John Wiegley <johnw@newartisans.com> | 2012-05-20 15:23:52 -0500 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2012-05-20 15:23:52 -0500 |
| commit | 1b1c7cd4ac9efe9f44b31513a33dc68bf6ee1924 (patch) | |
| tree | c36e4190510474bececa37e657f659caed5aa7ae /tools/proof | |
| parent | f579e6ddacb08ffeb124a9ec87b7faf7e9683a3c (diff) | |
| download | fork-ledger-1b1c7cd4ac9efe9f44b31513a33dc68bf6ee1924.tar.gz fork-ledger-1b1c7cd4ac9efe9f44b31513a33dc68bf6ee1924.tar.bz2 fork-ledger-1b1c7cd4ac9efe9f44b31513a33dc68bf6ee1924.zip | |
A few more CMake-related fixes
Diffstat (limited to 'tools/proof')
| -rwxr-xr-x | tools/proof | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/tools/proof b/tools/proof index 33f825de..2c0fa836 100755 --- a/tools/proof +++ b/tools/proof @@ -19,20 +19,20 @@ ledger_proof() { date > $LOGDIR/ledger-proof.log time nice -n 20 \ - ./acprep --debug --enable-doxygen --universal --gcc47 -j16 proof 2>&1 | \ - tee -a $LOGDIR/ledger-proof-gcc47.log + ./acprep --debug --doxygen --compiler=g++-4.7 proof -j16 2>&1 | \ + tee -a $LOGDIR/ledger-proof-g++-4.7.log time nice -n 20 \ - ./acprep --debug --enable-doxygen --universal --python --gcc47 -j16 proof 2>&1 | \ - tee -a $LOGDIR/ledger-proof-gcc47-python.log + ./acprep --debug --doxygen --python --compiler=g++-4.7 proof -j16 2>&1 | \ + tee -a $LOGDIR/ledger-proof-g++-4.7-python.log - #time nice -n 20 \ - # ./acprep --debug --enable-doxygen --universal --clang -j16 proof 2>&1 | \ - # tee -a $LOGDIR/ledger-proof-clang.log - # - #time nice -n 20 \ - # ./acprep --debug --enable-doxygen --universal --python --clang -j16 proof 2>&1 | \ - # tee -a $LOGDIR/ledger-proof-clang-python.log + time nice -n 20 \ + ./acprep --debug --doxygen --compiler=clang-3.1 proof -j16 2>&1 | \ + tee -a $LOGDIR/ledger-proof-clang-3.1.log + + time nice -n 20 \ + ./acprep --debug --doxygen --python --compiler=clang-3.1 proof -j16 2>&1 | \ + tee -a $LOGDIR/ledger-proof-clang-3.1-python.log if egrep -q '(ERROR|CRITICAL)' $LOGDIR/ledger-proof.log; then mutt -a $LOGDIR/ledger-proof.log \ @@ -48,8 +48,8 @@ EOF else echo $VERSION > $DEST/last-proofed - cd $DEST/ledger-proof-python-gcc47/debug; make docs - cd $DEST/ledger-proof-python-gcc47/gcov; make report + cd $DEST/ledger-proof-python-g++-4.7/debug; make docs + cd $DEST/ledger-proof-python-g++-4.7/gcov; make report mutt -s '[ledger] Proof build succeeded' johnw@newartisans.com <<EOF Ledger proof build succeeded! at commit $VERSION. |