SDA SE Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
research:logicaj:installation [2012/02/17 15:22]
tobias
research:logicaj:installation [2018/05/09 01:59] (current)
Line 1: Line 1:
 +====== LogicAJ Installation ======
  
 +==== Prerequisites ====
 +  * First download and install SWI-Prolog >= 5.11.32 [[http://​www.swi-prolog.org/​download/​devel|swi-prolog]] for your platform.
 +  * Add the "​bin"​ directory of your SWI-Prolog installation to the system PATH.
 +  * Download the latest Eclipse 3.7. Use a version that includes the PDE (Plugin Development Environment). ​
 +  * **Important:​** Be sure that the AJDT (AspectJ Development Tools) are **NOT** installed! See also [[faqui#​aspectj_ajdt_compatibility|FAQ]] if you are switching from AspectJ.
 +
 +==== Installation via the Update Site ====
 +
 +After making sure that you have fulfilled the above [[#​prerequisites]]: ​
 +  * Add the JTransformer Update Site to your Eclipse installation by entering the following URL in: "​Help->​Software Updates->​Find and Install->​Search for new Features to Install->​New Remote Site"
 +  <​Code>​http://​sewiki.iai.uni-bonn.de/​public-downloads/​update-site-laj/</​Code>​
 +  * Press "​Finish"​ and select at least the "​JTransformer"​ and "​PDT"​ features in the next view:
 +  {{:​research:​logicaj:​updates-site-logicaj.png| JTransformer (ROOTS) Update Site}}
 +
 +Available software distributions are listed on the update site: [[http://​sewiki.iai.uni-bonn.de/​public-downloads/​update-site/​site.xml| http://​sewiki.iai.uni-bonn.de/​public-downloads/​update-site/​site.xml]]
 +  * Install the plug-ins and restart Eclipse (make sure you have not ignored the first step of the prerequisites and the SWI-Prolog bin directory is in your PATH!)  ​
 +  * Do **not** assign the Prolog Prolog Nature to Projects you use with LogicAJ (JTransformer). They are currently incompatible.
 +
 +====== Getting started/​Download Demo Project =====
 +
 +The following project contains a range of demo aspect (contract checking, mock objects, visitor pattern): [[demoproject| LogicAJ Demo Project]].
 +See the [[tutorial|tutorial]] for how to get started with LogicAJ.
research/logicaj/installation.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019