Changes between Version 48 and Version 49 of Be a CIVL developer

Timestamp:

02/06/17 10:05:49 (9 years ago)

Author:

ziqing

Comment:

--

Be a CIVL developer

@@ -23 +23 @@
 1. Install  theorem provers [http://www.cs.nyu.edu/acsys/cvc3/ cvc3], [https://github.com/CVC4/CVC4 cvc4] and [https://github.com/Z3Prover/z3/releases z3]. Install Eclipse IDE for Java/EE developers if you have not already done so.
 1. Install an SVN plugin in Eclipse (such as Subversive) if you have not already.
+1. If you already have the VSL dependencies library, you may skip this step. Otherwise, download the tgz archive of VSL dependencies from [http://vsl.cis.udel.edu/lib/tools/vsl_depend  http://vsl.cis.udel.edu/lib/tools/vsl_depend]. Unzip the .tgz file and you will have the folder vsl. Move vsl to /opt.
 1. Install prerequisite projects ABC, SARL and GMC. Make sure that the three projects are put in the workspace directory where CIVL will be created.  Specifically:\\ \\
    * Install the symbolic algebra and reasoning library SARL. In Eclipse, select New Project...from SVN, use the archive  svn://vsl.cis.udel.edu/sarl. After entering that, open it up and select the "trunk". After checking out trunk, name  the project "SARL". Then follow the instructions in the INSTALL file for Eclipse installation. Build the sarl.jar from within Eclipse by right-clicking (or ctrl-clicking) on the build.xml file and selecting Run As->Ant Build. \\
@@ -30 +31 @@
 1. 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.)
 1. 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.
-1. If you already have the VSL dependencies library, you may skip this step. Otherwise, download the tgz archive of VSL dependencies from [http://vsl.cis.udel.edu/lib/tools/vsl_depend  http://vsl.cis.udel.edu/lib/tools/vsl_depend]. Unzip the .tgz file and you will have the folder vsl. Move vsl to /opt.
 1. If default_build.properties matches the configuration of your system, then you can skip this step. Otherwise, you may need to create a file build.properties in the directory containing build.xml. Copy and paste the content from any file under properties, edit each entry with the path configured in your system. The newly created file build.properties will automatically be used by ant to to build the .jar file.
 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.