Changes between Version 51 and Version 52 of Be a CIVL developer


Ignore:
Timestamp:
02/24/17 10:49:25 (9 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Be a CIVL developer

    v51 v52  
    3232   * Install the generic model checking utilities package GMC. In Eclipse, select New Project...from SVN, use the archive svn://vsl.cis.udel.edu/gmc.  Same process. \\ \\
    33331. From within Eclipse, select New Project...from SVN. The archive is svn://vsl.cis.udel.edu/civl.   Follow the same process as with the other 3 projects to install CIVL.
    34 1. Navigate to Preferences -> Java -> Build Path -> ClassPath Variables, and then select New to create a classpath variable `VSL`, and specify its value to be `/opt/vsl`.
     341. Navigate to Preferences -> Java -> Build Path -> !ClassPath Variables, and then select New to create a classpath variable `VSL`, and specify its value to be `/opt/vsl`.
    35351. Do a clean build.  Everything should compile.  Generate `civl.jar` by right-clicking (or ctrl-click on OS X) the `build.xml` file and Run As->Ant Build.
    36361. Somewhere on your system, create a plain text file containing exactly the following two lines: