summaryrefslogtreecommitdiff
path: root/acprep
Commit message (Expand)AuthorAgeFilesLines
* Build fixes to acprep and build.shJohn Wiegley2012-05-251-5/+26
* Give a reasonable error if CMake cannot be foundJohn Wiegley2012-05-231-0/+27
* Changed the way that LDFLAGS is passed to CMakeJohn Wiegley2012-05-201-11/+15
* Make profiling builds work with ClangJohn Wiegley2012-05-201-5/+20
* Build gcov mode also for ClangJohn Wiegley2012-05-201-8/+6
* More resiliency fixesJohn Wiegley2012-05-201-18/+33
* A few more CMake-related fixesJohn Wiegley2012-05-201-1/+2
* Converted the Ledger build system to use CMakeJohn Wiegley2012-05-201-842/+120
* More configuration fixesJohn Wiegley2012-05-101-1/+5
* Change the way I choose a default compilerJohn Wiegley2012-05-101-2/+2
* An acprep simplificationJohn Wiegley2012-05-101-2/+2
* Various changes to suit my environmentJohn Wiegley2012-05-011-113/+20
* Added support for building with Clang and libc++ in C++11John Wiegley2012-04-281-3/+1
* Don't rsync as much when preparing proof buildsJohn Wiegley2012-04-281-1/+2
* Fixes to the proofing processJohn Wiegley2012-04-271-23/+25
* Removed unnecessary code from acprepJohn Wiegley2012-04-261-16/+0
* Build-related changesJohn Wiegley2012-04-251-21/+27
* More support for building with ClangJohn Wiegley2012-04-251-2/+8
* Remove some dead codeJohn Wiegley2012-04-251-7/+0
* Add support for g++ 4.8John Wiegley2012-04-251-2/+14
* Use chmod before removing the proof build directoryJohn Wiegley2012-04-251-0/+1
* Resolve some issues with proof buildsJohn Wiegley2012-04-151-1/+4
* Proof using both GCC and ClangJohn Wiegley2012-04-131-2/+11
* Set FLAVOR= on all make invocationsJohn Wiegley2012-04-131-0/+2
* Started work on a "views" report document modelJohn Wiegley2012-04-081-0/+2
* Allow serialization to be enabled againJohn Wiegley2012-03-291-0/+6
* Don't use -fomit-frame-pointer when building optimizedJohn Wiegley2012-03-151-1/+1
* Quieted several compiler warnings from ClangJohn Wiegley2012-03-111-0/+1
* Fix for optimizing building with ClangJohn Wiegley2012-03-071-2/+3
* Use Boost 1.49 by defaultJohn Wiegley2012-03-071-35/+19
* Make sure Python works during proof buildsJohn Wiegley2012-03-021-5/+4
* Add -Won-disabled-macro-expansion flag when building with ClangJohn Wiegley2012-02-171-0/+1
* Don't build with Python support by default anymoreJohn Wiegley2012-02-171-2/+7
* acprep changes for building with --clangJohn Wiegley2012-02-111-3/+22
* Rip out GLIBCXX_DEBUG referencesJohn Wiegley2012-02-101-16/+0
* Fix issue #51 - oneiric misspelledSeth Mason2011-12-291-3/+3
* Defend against unknown versions of UbuntuJohn Wiegley2011-12-211-2/+6
* Added support for building with gcc trunk (pre 4.7)John Wiegley2011-11-301-21/+34
* Default to using Boost 1.48, without _GLIBCXX_DEBUGJohn Wiegley2011-11-151-4/+5
* Added dependency rules for Ubuntu OenericJohn Wiegley2011-10-241-1/+34
* Corrections to acprepJohn Wiegley2011-10-111-15/+18
* Use -ggdbJohn Wiegley2011-09-071-0/+2
* Fixed whitespace in acprepJohn Wiegley2011-08-071-13/+13
* Update to use Boost 1.47John Wiegley2011-07-121-6/+6
* Added several Mac OS X packages to "dependencies"John Wiegley2011-03-301-13/+5
* Fixed 'acprep dependencies' for Ubuntu Hardy and NattyJohn Wiegley2011-03-281-1/+3
* acprep change needed for optimized builds on my systemJohn Wiegley2011-03-251-1/+1
* Add --make option to acprep, for invoking another makeJohn Wiegley2011-03-231-1/+10
* Bump default Boost version to 1.46.1John Wiegley2011-03-231-9/+10
* Support Boost 1.46 and Boost.Filesystem v3John Wiegley2011-02-281-1/+1
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-04 07:51:43 +0000