INSTALL.txt

;;; Copyright © 2010 Fraunhofer Gesellschaft 
;;; Licensed under the EUPL V.1.1

These installation instructions are for the Carneades inference engine
and the Carneades Editor, implemented in the Clojure programming language.


1. Prerequisites

- The Java Runtime Environment (JRE) 6 <http://java.sun.com/>
- Leiningen 1.4.2 <http://github.com/technomancy/leiningen>
- Apache Maven <http://maven.apache.org/>

2. Downloading Carneades

The Carneades Editor is available for downloading from
	<http://carneades.berlios.de>

To launch the Carneades Editor, you can double-click on the executable JAR
or excutes the JAR from the command line:

  $ java -jar carneades-editor-<version>.jar

Alternatively, you can install Carneades from the sources.
        
3. Installation from the sources

- Download the sources using the Git source code management system:

  $ git clone git://git.berlios.de/carneades 

- Change directory to the src subdirectory of the carneades project.

 $ cd carneades/src

- Build the Carneades components:

 $ mvn install

- If you want to use the swank server for Emacs and SLIME with Leiningen,
go in the project directory in which you want to work and type:

  $ lein swank

4. Trying it out

- Run the Carneades Editor:

  $ cd CarneadesEditor
  $ lein run

- Run the examples:

  $ cd CarneadesExamples

Use 'lein run -m <namespace>' to run an example:

  $ lein run -m carneades.examples.piersonpost
  $ lein run -m carneades.examples.open-source-licensing.impact-licensing