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

Timestamp:

02/02/17 05:13:34 (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.