John Wiegley
|
54649d1b7a
|
Make profiling builds work with Clang
|
2012-05-20 16:06:32 -05:00 |
|
John Wiegley
|
0c1f40754a
|
Build gcov mode also for Clang
|
2012-05-20 15:31:40 -05:00 |
|
John Wiegley
|
1b83c684fb
|
More resiliency fixes
|
2012-05-20 14:15:48 -05:00 |
|
John Wiegley
|
a3e84aa155
|
A few more CMake-related fixes
|
2012-05-20 05:16:16 -05:00 |
|
John Wiegley
|
4681e58d7f
|
Converted the Ledger build system to use CMake
|
2012-05-20 04:48:05 -05:00 |
|
John Wiegley
|
b898d40a81
|
More configuration fixes
|
2012-05-10 16:30:32 -05:00 |
|
John Wiegley
|
8c0cb63dfd
|
Change the way I choose a default compiler
|
2012-05-10 04:25:18 -05:00 |
|
John Wiegley
|
6a18669aa0
|
An acprep simplification
|
2012-05-10 04:11:50 -05:00 |
|
John Wiegley
|
8f895fcda1
|
Various changes to suit my environment
|
2012-05-01 13:45:46 -05:00 |
|
John Wiegley
|
c8f58ea686
|
Added support for building with Clang and libc++ in C++11
|
2012-04-28 05:23:36 -05:00 |
|
John Wiegley
|
1a45d74543
|
Don't rsync as much when preparing proof builds
|
2012-04-28 05:22:20 -05:00 |
|
John Wiegley
|
fcd05632e0
|
Fixes to the proofing process
|
2012-04-27 15:48:00 -05:00 |
|
John Wiegley
|
95429c7031
|
Removed unnecessary code from acprep
|
2012-04-26 16:38:38 -05:00 |
|
John Wiegley
|
72d1011251
|
Build-related changes
|
2012-04-25 03:09:56 -05:00 |
|
John Wiegley
|
6af3f0448f
|
More support for building with Clang
|
2012-04-25 03:09:55 -05:00 |
|
John Wiegley
|
adbd99414b
|
Remove some dead code
|
2012-04-25 03:09:55 -05:00 |
|
John Wiegley
|
711281472b
|
Add support for g++ 4.8
|
2012-04-25 03:09:55 -05:00 |
|
John Wiegley
|
5a9b56f024
|
Use chmod before removing the proof build directory
|
2012-04-25 03:09:55 -05:00 |
|
John Wiegley
|
ee641f353c
|
Resolve some issues with proof builds
|
2012-04-15 01:17:01 -05:00 |
|
John Wiegley
|
1ad826c2bc
|
Proof using both GCC and Clang
|
2012-04-13 15:16:28 -05:00 |
|
John Wiegley
|
86f5f8e520
|
Set FLAVOR= on all make invocations
|
2012-04-13 15:16:28 -05:00 |
|
John Wiegley
|
e3ac243019
|
Started work on a "views" report document model
|
2012-04-08 05:04:49 -05:00 |
|
John Wiegley
|
08f65eeadc
|
Allow serialization to be enabled again
|
2012-03-29 15:35:20 -05:00 |
|
John Wiegley
|
429cfc5c80
|
Don't use -fomit-frame-pointer when building optimized
Makes stack traces impossible
|
2012-03-15 05:01:39 -05:00 |
|
John Wiegley
|
62c04deb87
|
Quieted several compiler warnings from Clang
|
2012-03-11 05:08:55 -05:00 |
|
John Wiegley
|
79a4919777
|
Fix for optimizing building with Clang
|
2012-03-07 14:29:52 -06:00 |
|
John Wiegley
|
cabec6db1a
|
Use Boost 1.49 by default
|
2012-03-07 02:48:52 -06:00 |
|
John Wiegley
|
a47653d24c
|
Make sure Python works during proof builds
|
2012-03-02 02:00:19 -06:00 |
|
John Wiegley
|
7dc1d8c169
|
Add -Won-disabled-macro-expansion flag when building with Clang
|
2012-02-17 15:14:31 -06:00 |
|
John Wiegley
|
7e6dbcd64c
|
Don't build with Python support by default anymore
|
2012-02-17 15:09:33 -06:00 |
|
John Wiegley
|
d669cd736d
|
acprep changes for building with --clang
|
2012-02-11 16:53:31 -10:00 |
|
John Wiegley
|
ff666a4469
|
Rip out GLIBCXX_DEBUG references
|
2012-02-10 10:27:12 -10:00 |
|
Seth Mason
|
72251653ba
|
Fix issue #51 - oneiric misspelled
|
2011-12-29 12:29:02 -08:00 |
|
John Wiegley
|
63db5511fb
|
Defend against unknown versions of Ubuntu
|
2011-12-21 17:29:37 -06:00 |
|
John Wiegley
|
f7ceef0a6d
|
Added support for building with gcc trunk (pre 4.7)
|
2011-11-30 19:15:18 -06:00 |
|
John Wiegley
|
7112ff5d56
|
Default to using Boost 1.48, without _GLIBCXX_DEBUG
|
2011-11-15 13:20:57 -06:00 |
|
John Wiegley
|
bf2ad71352
|
Added dependency rules for Ubuntu Oeneric
|
2011-10-24 15:21:44 -05:00 |
|
John Wiegley
|
550a795283
|
Corrections to acprep
|
2011-10-11 15:32:25 -05:00 |
|
John Wiegley
|
65f96d5e7c
|
Use -ggdb
|
2011-09-07 19:06:55 -05:00 |
|
John Wiegley
|
f2ca0ee474
|
Fixed whitespace in acprep
|
2011-08-07 01:03:48 -05:00 |
|
John Wiegley
|
51587d351f
|
Update to use Boost 1.47
|
2011-07-12 22:31:14 -05:00 |
|
John Wiegley
|
6d7149f9b1
|
Added several Mac OS X packages to "dependencies"
|
2011-03-30 14:50:09 -04:00 |
|
John Wiegley
|
9f4307accd
|
Fixed 'acprep dependencies' for Ubuntu Hardy and Natty
|
2011-03-28 01:52:41 -04:00 |
|
John Wiegley
|
4c2b816d7e
|
acprep change needed for optimized builds on my system
|
2011-03-25 16:44:07 -04:00 |
|
John Wiegley
|
88799daee1
|
Add --make option to acprep, for invoking another make
|
2011-03-23 00:33:28 -04:00 |
|
John Wiegley
|
7b7a9503c9
|
Bump default Boost version to 1.46.1
|
2011-03-23 00:33:10 -04:00 |
|
John Wiegley
|
8388baafd3
|
Support Boost 1.46 and Boost.Filesystem v3
|
2011-02-28 16:24:15 -05:00 |
|
John Wiegley
|
a8b02cacd7
|
Added support for Ubuntu Lucid to acprep
|
2011-02-04 23:15:48 -05:00 |
|
John Wiegley
|
e0c42ff443
|
Added --gcc46 and --cpp0x options to acprep
|
2011-02-04 22:35:18 -05:00 |
|
John Wiegley
|
8c81a1decb
|
Use MacPorts Python when I build with Clang
|
2011-02-04 04:28:22 -05:00 |
|