在Mac OS X上安装Z3-str

时间:2016-01-03 17:06:37

标签: c++ macos z3

关于安装的自述文件,我已经停留在第5点。更改了z3的路径后,当我执行' make'时,我得到了不同的错误。

ld: library not found for -lcrt0.o
clang: error: linker command failed with exit code 1 (use -v to see invocation)

我发现this线程指定了这种错误。因为使用静态'似乎无法解决错误。我报告来自线程的消息:

This option will not work on Mac OS X unless all libraries (including libgcc.a) 
have also been compiled with -static. Since neither a static version of libSystem.dylib 
nor crt0.o are provided, this option is not useful to most people.

这是我使用的Makefile。

Z3_path = /Users/mat/z3
JUNK = str
SOURCE = *.cpp
INCLUDE = $(Z3_path)/lib
LIB = $(Z3_path)/bin/external

all: $(SOURCE)
    @echo ">> Z3 Source Dir: "$(Z3_path)
    @echo ""
    g++ -O3 -std=c++11 -I$(INCLUDE) -L$(LIB) $(SOURCE) -lz3 -o str -Wall
    @echo ""

clean:
    rm -f $(JUNK)

0 个答案:

没有答案