forked from sosy-lab/cpachecker
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathINSTALL.txt
50 lines (37 loc) · 1.98 KB
/
INSTALL.txt
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
CPAchecker Installation
=======================
For information on how to run CPAchecker, see README.txt.
Install CPAchecker -- Binary
----------------------------
1. Install a Java Runtime Environment which is at least Java 7 compatible
(e.g., Sun/Oracle JRE, OpenJDK).
Cf. http://java.oracle.com/ or install a package from your distribution.
(Ubuntu: sudo apt-get install openjdk-7-jre)
If you have multiple JVMs installed, consider making this the default JVM,
otherwise you will need to specify the JVM when running CPAchecker.
(Ubuntu: sudo update-alternatives --config java)
2. Extract the content of the CPAchecker zip or tar file into a directory of your choice.
Install CPAchecker -- Source
----------------------------
1. Install a Java SDK which is at least Java 7 compatible
(e.g., Sun/Oracle JDK, OpenJDK).
Cf. http://java.oracle.com/ or install a package from your distribution.
(Ubuntu: sudo apt-get install openjdk-7-jdk)
If you have multiple JDKs installed, make sure that the commands "java"
and "javac" call the respective Java 7 binaries,
so put them in your PATH or change the system-wide default JDK.
(Ubuntu: sudo update-alternatives --config java; sudo update-alternatives --config javac)
2. Install ant (anything since version 1.7 should be ok).
(Ubuntu: sudo apt-get install ant)
3. Install Subversion.
(Ubuntu: sudo apt-get install subversion)
4. Checkout CPAchecker from SVN repository.
URL: https://svn.sosy-lab.org/software/cpachecker/trunk
URL (read-only GIT mirror): https://github.com/dbeyer/cpachecker
5. Run "ant" in CPAchecker directory to build CPAchecker.
When building CPAchecker for the first time, this will automatically
download all needed libraries.
If you have incompatible versions of some libraries installed on your system,
the build might fail with NoSuchMethodErrors or similar exceptions.
In this case, run "ant -lib lib/java/build".
(For building CPAchecker within Eclipse, cf. doc/Developing.txt.)