1.23
2.0
acw/focus-triggers
main
test-branch
| Line | |
|---|
| 1 | CIVL pre-compiled binary distribution for 64-bit linux.
|
|---|
| 2 |
|
|---|
| 3 | The directory containing this file should be called CIVL.
|
|---|
| 4 | This directory should contain the following:
|
|---|
| 5 |
|
|---|
| 6 | - README : this file
|
|---|
| 7 | - bin : containing one executable sh script called "civl"
|
|---|
| 8 | - lib : containing a version of civl.jar and native solver libraries
|
|---|
| 9 | such as those for cvc3
|
|---|
| 10 | - doc : containing some documentation about CIVL.
|
|---|
| 11 |
|
|---|
| 12 | Installation instructions:
|
|---|
| 13 | 1. Move folder CIVL into /usr/local
|
|---|
| 14 | 2. Put the civl script in your path however you like to put things
|
|---|
| 15 | into your path. Either move it to a directory in your path,
|
|---|
| 16 | or create a symlink to it, or edit your .profiles or equivalent
|
|---|
| 17 | to put it in your path.
|
|---|
| 18 |
|
|---|
| 19 | Now you should be able to run CIVL from the command line by
|
|---|
| 20 | typing "civl <filename>".
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
