Changes between Version 24 and Version 25 of Be a CIVL developer


Ignore:
Timestamp:
02/02/17 04:24:21 (9 years ago)
Author:
ziqing
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Be a CIVL developer

    v24 v25  
    3131 * Install the generic model checking utilities package GMC. In Eclipse, select New Project...from SVN, use the archive svn://vsl.cis.udel.edu/gmc. After entering that, open it up and select the "trunk". After checking out trunk, name the project "GMC". Build the gmc.jar from within Eclipse by right-clicking (or ctrl-clicking) on the build.xml file and selecting Run As->Ant Build.[[BR]]
    3232
     331. From within Eclipse, select New Project...from SVN. The archive is svn://vsl.cis.udel.edu/civl.  After entering that, open it up and select the "trunk". (It is simplest to just check out the trunk for the Eclipse project.)
     341. Check out the trunk, and create the project using the New Java Project Wizard as usual, naming it "CIVL". The .project, .classpath, and other Eclipse meta-data are already in the SVN archive, saving you a bunch of work.
    3335
    3436== Using Subversion in command-line ==