Skip to content

Setup

Jump to bottom
afla edited this page Oct 25, 2016 · 7 revisions

Note: /home/alex/reconfigurator is an example base folder. Feel free to place your files wherever you like.

1. Prerequisites

1.1. Install the prerequisites: Git, the Java Development Kit and Bison (for XTC).

    $ apt-get install git default-jdk bison

2. Eclipse

2.1. Download, extract and launch Eclipse IDE for Java and DSL Developers. This version of Eclipse has support for Xtend. Also add a workspace folder.

    $ cd /home/alex/reconfigurator
    $ wget -O eclipse-dsl-neon-1a-linux-gtk-x86_64.tar.gz "http://www.eclipse.org/downloads/download.php?file=/technology/epp/downloads/release/neon/1a/eclipse-dsl-neon-1a-linux-gtk-x86_64.tar.gz&r=1"
    $ tar -xf eclipse-dsl-neon-1a-linux-gtk-x86_64.tar.gz
    $ mkdir workspace
    $ eclipse/eclipse &

2.2. Set the /home/alex/reconfigurator/workspace as the default workspace.

3. C-Reconfigurator

3.1. Download the C-Reconfigurator source.

    $ cd /home/alex/reconfigurator
    $ mkdir c-reconfigurator
    $ git clone https://github.com/models-team/c-reconfigurator.git c-reconfigurator

3.2. Launch or go to Eclipse.

    $ eclipse/eclipse &

3.3. Create a new Java Project.

  1. Press Shift+Alt+N and select Java Project.
  2. Write reconfigurator into the "Project name" textbox.
  3. Click the "Finish" button.

3.4. Convert to Xtext project.

  1. Right-click the reconfigurator project, select the "Configure" menu and click the "Convert to Xtext Project" button.
  2. Right-click the reconfigurator project, select the "Build path" menu and click the "Add Libraries" button.
  3. Select "Xtend Library", click the "Next" button, click the "Finish" button.

3.5. Set up the source folder.

  1. Expand the reconfigurator project.
  2. Right-click on the src folder and click the "Delete" button. Then click the "OK" button to confirm.
  3. Right-click the reconfigurator project, select the "Build Path" menu and click the "Link Source" button.
  4. Write /home/alex/reconfigurator/c-reconfigurator/src into the "Linked folder location" textbox.
  5. Write src into the "Folder name" textbox.
  6. Click the "Finish" button.
  7. Let Eclipse build the project.

3.6. Add required jars.

  1. Right-click the reconfigurator project, select the "Build Path" menu and click the "Add External Archives" button.
  2. In the pop up navigate to /home/alex/reconfigurator/c-reconfigurator/libs.
  3. Select all files and click the "OK" button.
  4. Let Eclipse build the project.

4. XTC

4.1. Download the XTC source. It is important that the folder in which the repository is clones is named xtc.

    $ cd /home/alex/reconfigurator
    $ mkdir xtc
    $ git clone https://github.com/models-team/xtc.git xtc

4.2. Update the paths in the /home/alex/reconfigurator/xtc/setup.sh file.

    JAVA_DEV_ROOT=/home/alex/reconfigurator/xtc
     CLASSPATH=$JAVA_DEV_ROOT/classes:$JAVA_DEV_ROOT/bin/junit.jar:$JAVA_DEV_ROOT/bin/javabdd.jar:$JAVA_DEV_ROOT/bin/org.sat4j.core.jar
    JAVA_HOME=/usr/bin
    PATH_SEP=:
    export JAVA_DEV_ROOT CLASSPATH JAVA_HOME PATH_SEP

4.3. Configure and build the project.

    $ cd xtc
    $ source setup.sh
    $ make configure
    $ make jars

4.4. Right click the reconfigurator project in Eclipse, select the "Build path" menu and click the "Configure Build Path" button. Go to the "Libraries" tab. Replace the external JAR /home/alex/reconfigurator/c-reconfigurator/libs/xtc.jar with the newly created /home/alex/reconfigurator/xtc/bin/xtc.jar.

5. Create an XTC project in Eclipse

5.1. Launch or go to Eclipse.

    $ cd /home/alex/reconfigurator
    $ eclipse/eclipse &

5.2. Create a new Java Project.

  1. Press Shift+Alt+N and select Java Project.
  2. Write xtc into the "Project name" textbox.
  3. Click the "Finish" button.

5.3. Set up the source folder.

  1. Expand the xtc project.
  2. Right-click on the src folder and click the "Delete" button. Then click the "OK" button to confirm.
  3. Right-click the xtc project, select the "Build Path" menu and click the "Link Source" button.
  4. Write /home/alex/reconfigurator/xtc/src into the "Linked folder location" textbox.
  5. Write src into the "Folder name" textbox.
  6. Click the "Finish" button.
  7. Let Eclipse build the project.

5.4. Add required jars.

  1. Right-click the xtc project, select the "Build Path" menu and click the "Add External Archives" button.
  2. In the pop up navigate to /home/alex/reconfigurator/xtc/bin.
  3. Select the jababdd.jar, junit.jar and org.sat4j.core.jar files and click the "OK" button.
  4. Let Eclipse build the project.

5.5. Exclude unused files.

  1. Right-click the xtc project, select the "Build Path" menu and click the "Configure Build Path" button.
  2. Click on the "Source" tab, select the "Excluded" pattern and click the "Edit" button.
  3. At the "Exclusion patterns" section click the "Add" button, write xtc/lang/cpp/.CContext.java in the textbox and click the OK button.
  4. Repeat step 3, exclude xtc/lang/cpp/CContext_parsingonly.java.
  5. Repeat step 3, exclude xtc/lang/cpp/CContext_typechecker.java.
  6. Repeat step 3, exclude xtc/lang/cpp/CTypeChecker.java.
  7. Click the "Finish" button. Click the "OK" button.
  8. Let Eclipse build the project.

5.6. Right click the reconfigurator project in Eclipse, select the "Build path" menu and click the "Configure Build Path" button. Go to the "Libraries" tab. Remove the external JAR /home/alex/reconfigurator/c-reconfigurator/libs/xtc.jar (or /home/alex/reconfigurator/xtc/bin/xtc.jar). Go to the "Projects" tab. Click the "Add" button, select the xtc project and click "OK". Let Eclipse build the project.

Clone this wiki locally