2015-05-29 09:21:26 +00:00
|
|
|
# DASCA
|
2015-06-15 07:22:50 +00:00
|
|
|
## Installation
|
|
|
|
### Prerequisites
|
|
|
|
* Java 8
|
2015-06-22 14:48:32 +00:00
|
|
|
* CVC3 including the Java bindings for CVC3
|
2015-06-16 06:12:27 +00:00
|
|
|
* Android SDK (do obtain dx.jar)
|
2015-06-15 07:22:50 +00:00
|
|
|
|
|
|
|
### Checkout
|
|
|
|
Note that this repository imports WALA as a submodule. Thus,
|
|
|
|
you either need to recursively clone this repository or execute
|
|
|
|
```
|
|
|
|
git submodule update --init --recursive
|
|
|
|
```
|
|
|
|
after cloning the repository.
|
|
|
|
|
|
|
|
### How to Compile
|
|
|
|
First resolve the dependencies using maven and initialise the
|
|
|
|
Eclipse project structure:
|
|
|
|
```
|
|
|
|
cd src/eu.aniketos.dasca.parent/
|
|
|
|
mvn -P wala clean install -DskipTests=true -q
|
|
|
|
mvn -P dasca clean eclipse:clean
|
|
|
|
mvn -P dasca eclipse:eclipse
|
|
|
|
```
|
|
|
|
After this, all projects can be imported into a fresh Eclipse
|
|
|
|
workspace using `File -> Import -> Existing Projects into Workspace`.
|
|
|
|
Please import them in the following order:
|
|
|
|
1. Import all WALA projects (``externals/WALA/``) into Eclipse.
|
|
|
|
2. Import all DASCA projects (``src/``) into Eclipse.
|
|
|
|
While several Wala projects may contain compilation errors, all DASCA
|
|
|
|
projects (i.e., `eu.aniketos.dasca.*`) should compile without errors.
|
|
|
|
|
|
|
|
## Team
|
|
|
|
Main contact: [Achim D. Brucker](http://www.brucker.ch/)
|
|
|
|
|
|
|
|
### Contributors
|
|
|
|
* Thomas Deuster
|
|
|
|
* Michael Herzberg
|
|
|
|
* Tim Herres
|