-
Notifications
You must be signed in to change notification settings - Fork 4
/
INSTALL
52 lines (39 loc) · 1.7 KB
/
INSTALL
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
rebours
=======
Here we provide an installation guide for all supported platforms.
1) Linux (tested on Ubuntu and Debian)
--------------------------------------
First install the following software dependencies:
- g++
- git (with its SVN extension)
- cmake
If you are in hurry, type the following commands in a terminal:
$ git svn clone https://svn.labri.fr/repos/rebours ./
$ cd rebours
$ mkdir ./build
$ cd ./build
$ cmake ..
$ make install
If you want to know more about the compilation options:
$ cmake ..
-DCMAKE_BUILD_TYPE=<Release|Debug>
-DBITVECTORS_ROOT=<install-dir-of-bitvectors-library>
-DPROGRAM_ROOT=<install-dir-of-program-library>
-DNATIVE_EXECUTION_ROOT=<install-dir-of-native-execution-analysis>
-DLOADER_ROOT=<install-dir-of-MAL-loader-library>
-DRELOADER_ROOT=<install-dir-of-MAL-reloader-library>
-DDESCRIPTOR_ROOT=<install-dir-of-MAL-descriptor-library>
-DPROLOGUE_ROOT=<install-dir-of-MAL-prologue-library>
-DRECOGNISER_ROOT=<install-dir-of-MAL-recogniser-library>
-DENCODER_ROOT=<install-dir-of-MAL-encoder-library>
-DCAPSTONE_NEXT_ROOT=<install-dir-of-capstone-next-3rd-library>
-DZ3_ROOT=<install-dir-of-Z3-SMT-solver>
-DBOOLECTOR_ROOT=<install-dir-of-Boolector-SMT-solver>
-DMATHSAT5_ROOT=<install-dir-of-MathSAT5-SMT-solver>
-DBUILD_TESTS=<yes|no>
-DTESTS_DATA_PATH=<directory-containing-data-of-tools-and-tests>
All built binaries can be found in the directory:
<rebours-install-dir>/tools/ldexe/bin/Linux_${CMAKE_BUILD_TYPE}
2) MS-Windows 7+
----------------
TODO