[klee-dev] Build Error on Mac OS X 10.10.2

[Cristian Cadar]

Thanks for reporting this, there is a bug in Makefiles.rules that need
to be fixed.  Essentially "10.10" is transformed into "10.1" resulting
in error message "ld: -rpath can only be used when targeting Mac OS X
10.5 or later".

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/')
  # 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/')

  SharedLinkOptions=-Wl,-flat_namespace -Wl,-undefined,suppress \
                    -dynamiclib
  ifneq ($(ARCH),ARM)
    SharedLinkOptions += -mmacosx-version-min=$(DARWIN_VERSION)
  endif

Best,
Cristian


On 21/03/2015 19:55, Anitha B Gollamudi wrote:
> Got this resolved using export MACOSX_DEPLOYMENT_TARGET=10.10.
> 
> On 21 March 2015 at 13:03, Anitha B Gollamudi <anitha.boyapati at gmail.com> wrote:
>> Hi,
>>
>> Trying to build LLVM 2.9 on Mac OS X Yosemite 10.10.2 while building
>> KLEE. Got this famous error.
>>
>> ld: -rpath can only be used when targeting Mac OS X 10.5 or later
>>
>>
>> I tried the suggestion from homebrew website. Still no use. Any quick fix?
>>
>> https://github.com/Homebrew/homebrew-versions/issues/453
>>
>>
>> - Anitha
> 
> 
>