Changes between Version 55 and Version 56 of Be a CIVL developer


Ignore:
Timestamp:
02/15/23 11:44:58 (3 years ago)
Author:
Alex Wilton
Comment:

Changed subversive installation instructions to just point to where instructions on installation can be found.

Legend:

Unmodified
Added
Removed
Modified

  • Be a CIVL developer

    v55 v56  
    24241. Install  theorem provers [https://github.com/CVC4/CVC4 cvc4] and [https://github.com/Z3Prover/z3/releases z3] following the instructions provided with those tools.  CIVL uses only the command line interface for these tools, so you don't have to worry about installing libraries or anything other than the executable binary.   Make sure the executable is somewhere in your PATH.
    25251. Install Eclipse IDE for Java/EE developers if you have not already done so.
    26 1. Install an SVN plugin in Eclipse (such as Subversive) if you have not already done so.
    27   a. Use [https://marketplace.eclipse.org/content/subversive-svn-team-provider Subversive Installation instruction] to install all components (except for the connector, which may not be included in this package).
    28   a. Open Eclipse: 'Help>>Install New Software..>>Add..' and enter '''!http://community.polarion.com/projects/subversive/download/eclipse/6.0/update-site''' as the value of 'location' with preferred name tag in 'name'.
    29   a. Expand '''Subversive SVN Connectors''', then selected both ''Subversive SVN Connectors'' and ''SVNKit''
    30   a. Install these two components by clicking ''next'' and following instructions shown.
     261. Install an SVN plugin in Eclipse (such as Subversive) if you have not already done so. To install Subversive follow the instructions found at [https://www.eclipse.org/subversive/installation-instructions.php].
    31271. 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 named `vsl`. Move `vsl` directly under  `/opt` (this might require `sudo`). 
    32281. 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:\\ \\