Changes between Version 42 and Version 43 of Be a CIVL developer

Timestamp:

02/02/17 05:14:45 (9 years ago)

Author:

ziqing

Comment:

--

Be a CIVL developer

@@ -33 +33 @@
 a. 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.
 a. Do a clean build.  Everything should compile.  Generate the civl.jar by right-clicking (or ctrl-click on OS X) the build.xml file and Run As->Ant Build.
-a. Somewhere on your system, create a plain text file containing exactly the following two lines: \\ {{{
+a. Somewhere on your system, create a plain text file containing exactly the following two lines: 
+{{{
 #!/bin/sh
-java -jar /Path/To/Your/workspace/CIVL/civl.jar $@ }}} \\ where "/Path/To/Your/workspace" is replaced with the path to your Eclipse workspace directory.  Name this file "civl", put it in your PATH, and make it executable (chmod ugo+x civl). Alternatively, you can define an alias in your .profile, .bash_profile, .bashrc, or equivalent: \\ {{{
+java -jar /Path/To/Your/workspace/CIVL/civl.jar $@ 
+}}} 
+where "/Path/To/Your/workspace" is replaced with the path to your Eclipse workspace directory.  Name this file "civl", put it in your PATH, and make it executable (chmod ugo+x civl). Alternatively, you can define an alias in your .profile, .bash_profile, .bashrc, or equivalent: 
+{{{
 alias civl='java -jar /Path/To/Your/workspace/CIVL/civl.jar'
-}}} \\
+}}}
 a. From a terminal window, execute "civl config".  This should find the theorem provers in your PATH and create a file .sarl in your home directory.