diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-09-30 21:39:14 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-09-30 21:39:14 +0000 |
commit | d0b49d588033ab8140bdf297c9cdf73b1088fe68 (patch) | |
tree | 991a27d038a10d81805f7f02e10f8c78d68579dd /configure.ac | |
parent | 1c2b7c593fa1c12575eb37e56a5c66a1a190ad81 (diff) |
fixed a number of problems with mac os x builds. build now works on mac os x if you disable the clock_gettime check in configure.ac (resolves bug #202), but the parser is broken (new bug #208)
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure.ac b/configure.ac index ae681d2eb..f22ae595a 100644 --- a/configure.ac +++ b/configure.ac @@ -300,11 +300,11 @@ elif test "$CVC4_CONFIGURE_AT_TOP_LEVEL" = yes; then cat >config.reconfig <<EOF [#!/bin/bash # Generated by configure, `date` -# This script part of CVC4. +# This script is part of CVC4. cd "\`dirname \\"\$0\\"\`" -current=(\`grep '^CURRENT_BUILD' builds/current | sed 's,^CURRENT_BUILD *= *\([^/]\\+\\)/\\(.*\\),\\1 \\2,'\`) +current=(\`grep '^CURRENT_BUILD' builds/current | sed 's,^CURRENT_BUILD *= *\([^/]*\\)/\\(.*\\),\\1 \\2,'\`) arch=\${current[0]} build=\${current[1]} |