From 1ad826c2bccabad844156a181735dd960f87d174 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Thu, 12 Apr 2012 14:49:32 -0500
Subject: Proof using both GCC and Clang

---
 acprep | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

(limited to 'acprep')

diff --git a/acprep b/acprep
index a6efb2a7..0d7f3cd0 100755
--- a/acprep
+++ b/acprep
@@ -1673,8 +1673,17 @@ class PrepareBuild(CommandLineApp):
     def phase_rsync(self, *args):
         self.log.info('Executing phase: rsync')
 
-        source_copy_dir = join(self.ensure(self.products_directory()),
-                               'ledger-proof')
+        proof_dir = 'ledger-proof'
+
+        if self.options.python:
+            proof_dir += "-python"
+
+        if self.options.gcc47:
+            proof_dir += "-gcc47"
+        elif self.options.use_clang:
+            proof_dir += "-clang"
+
+        source_copy_dir = join(self.ensure(self.products_directory()), proof_dir)
 
         self.execute('rsync', '-a', '--delete',
                      '--exclude=.git/', '--exclude=b/',
-- 
cgit v1.2.3