|
Eclat requires Java 1.5.
You have two options:
To install Eclat for use from a command line, follow these steps.
-
Download eclat.jar.
-
Download daikon.jar
(you're downloading the Daikon
invariant detector).
- Add daikon.jar and eclat.jar to your classpath.
-
Verify your installation: the following commands should produce
documentation messages.
java daikon.Daikon
java eclat.textui.Main help
-
Proceed to the tutorial.
- Make sure that Eclipse is running under Java 1.5.
-
Download eclatPlugin_1.0.0.zip.
-
Unzip the file. The content is a single directory
eclatPlugin_1.0.0. Add this directory to your
plugins directory. This directory is located under the main
eclipse installation directory, e.g. in Windows.
C:\Program Files\eclipse\plugins
(Hint: if you use a shared copy of Eclipse, you can still add a plugin
locally. Do: Help --> "Software Updates" --> "Manage Configuration"
--> "Add an Extension Location.")
-
Proceed to the tutorial.
|
|