diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-03-22 16:58:35 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-03-22 16:58:35 +0000 |
| commit | 85d95bab0f01476e1dcab10ad06b6258a7dc9f8c (patch) | |
| tree | 561c60453a5b48c5d1eb411cd62c9398426164be /Makefile.rules | |
| parent | 5b94f3ff80aa0628948d7775a71fdad82e4fa222 (diff) | |
| download | klee-85d95bab0f01476e1dcab10ad06b6258a7dc9f8c.tar.gz | |
Fix compilation under MacOS, see https://github.com/klee/klee/issues/219 for details.
Diffstat (limited to 'Makefile.rules')
| -rw-r--r-- | Makefile.rules | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.rules b/Makefile.rules index 5e954adf..20e19e26 100644 --- a/Makefile.rules +++ b/Makefile.rules @@ -486,9 +486,9 @@ endif ifeq ($(HOST_OS),Darwin) DARWIN_VERSION := `sw_vers -productVersion` # Strip a number like 10.4.7 to 10.4 - DARWIN_VERSION := $(shell echo $(DARWIN_VERSION)| sed -E 's/(10.[0-9]).*/\1/') + DARWIN_VERSION := $(shell echo $(DARWIN_VERSION)| sed -E 's/(10.[0-9]+).*/\1/') # Get "4" out of 10.4 for later pieces in the makefile. - DARWIN_MAJVERS := $(shell echo $(DARWIN_VERSION)| sed -E 's/10.([0-9]).*/\1/') + DARWIN_MAJVERS := $(shell echo $(DARWIN_VERSION)| sed -E 's/10.([0-9]+).*/\1/') SharedLinkOptions=-Wl,-flat_namespace -Wl,-undefined,suppress \ -dynamiclib |