> - ledger from source, boost 1.46.1 from apt-get, cmake 2.8.7 from > apt-get --> SUCCESS(1)
This is great to know, I'll drop the Boost requirement to 1.46. CMake req is down to 2.8.5 now. > make test > make check (same as "make test"?) > python test/RegressTests.py -j ./ledger . ./test/regress/ > python test/RegressTests.py -j ./ledger . ./test/manual/ > python test/RegressTests.py -j ./ledger . ./test/baseline/ make test should accomplish the same as all the rest. > ./acprep opt update > ./acprep opt proof <-- failure > ./acprep opt update <--failure > > when opt proof fails, it happens that any second compilation is a > failure, saying that files are different, but files are actually > the same. proof builds still need work. Thanks for the great info, Thierry! John
