walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

compiling; you can put z3 files in externals/z3

This commit is contained in:
Daniel Marjamäki 2020-02-11 17:42:25 +01:00
parent 25deb996e9
commit 0bf9858d57
3 changed files with 12 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
appveyor.yml
View File

@ -60,7 +60,8 @@ install:
- SET p=x86 - SET p=x86
- IF "%platform%"=="x64" SET p=x64 - IF "%platform%"=="x64" SET p=x64
- curl -fsSL https://github.com/Z3Prover/z3/releases/download/z3-4.8.7/z3-4.8.7-%p%-win.zip -o z3-4.8.7-win.zip - curl -fsSL https://github.com/Z3Prover/z3/releases/download/z3-4.8.7/z3-4.8.7-%p%-win.zip -o z3-4.8.7-win.zip
- 7z e z3-4.8.7-win.zip -oz3 -r -y - 7z x z3-4.8.7-win.zip -oexternals -r -y
- move externals\z3-4.8.7-%p%-win externals\z3
build_script: build_script:
- ECHO Building %configuration% %platform% with MSVC %VisualStudioVersion% using %PlatformToolset% PlatformToolset - ECHO Building %configuration% %platform% with MSVC %VisualStudioVersion% using %PlatformToolset% PlatformToolset

4
gui/gui.pro
View File

@ -7,7 +7,7 @@ DEPENDPATH += . \
../lib ../lib
INCLUDEPATH += . \ INCLUDEPATH += . \
../lib \ ../lib \
../z3 ../externals/z3/include
QT += widgets QT += widgets
QT += printsupport QT += printsupport
@ -15,7 +15,7 @@ contains(LINKCORE, [yY][eE][sS]) {
LIBS += -l../bin/cppcheck-core LIBS += -l../bin/cppcheck-core
DEFINES += CPPCHECKLIB_IMPORT DEFINES += CPPCHECKLIB_IMPORT
} }
LIBS += -L$$PWD/../externals -L$$PWD/../z3 LIBS += -L$$PWD/../externals -L$$PWD/../externals/z3/bin
# z3 # z3
win32 { win32 {

8
readme.txt
View File

@ -22,6 +22,14 @@ Compiling
When building the command line tool, PCRE is optional. It is used if you build with rules. When building the command line tool, PCRE is optional. It is used if you build with rules.
For "bug hunting" you need Z3. Installing Z3:
* debian: "sudo apt-get install libz3-dev
* windows:
32-bit: https://github.com/Z3Prover/z3/releases/download/z3-4.8.7/z3-4.8.7-x86-win.zip
64-bit: https://github.com/Z3Prover/z3/releases/download/z3-4.8.7/z3-4.8.7-x64-win.zip
If you do not want to install z3 in some "system" include/lib paths you can put the files in
cppcheck/externals/z3/include and cppcheck/externals/z3/bin
There are multiple compilation choices: There are multiple compilation choices:
* qmake - cross platform build tool * qmake - cross platform build tool
* cmake - cross platform build tool * cmake - cross platform build tool