| ... |
... |
@@ -5,7 +5,7 @@ |
| 5 |
5 |
1. Enable the TCP Server in the KIELER RCA and |
| 6 |
6 |
1. Download the [[KielerCompilerConsole>>url:http://git.rtsys.informatik.uni-kiel.de:7990/projects/KIELER/repos/semantics/browse/standalone/KielerCompiler.jar?at=1c807c15f863b699d96d97038501663608d0f2bf&raw||shape="rect"]] as a runnable Java JAR archive and run it. |
| 7 |
7 |
|
| 8 |
|
-In the following we describe the details for both, the enabling of the TCP server and the possible command line calls of KiCo from the console. |
|
8 |
+In the following we give a short quick start guide and describe the details for both, the enabling of the TCP server and the possible command line calls of KiCo from the command line: |
| 9 |
9 |
|
| 10 |
10 |
|
| 11 |
11 |
|
| ... |
... |
@@ -55,7 +55,7 @@ |
| 55 |
55 |
* -v : Use verbose compilation, more error messages |
| 56 |
56 |
* -s: Use strict mode compilation (only apply selected transformations) |
| 57 |
57 |
|
| 58 |
|
-== Common Transformations IDs == |
|
58 |
+== Common Transformation IDs == |
| 59 |
59 |
|
| 60 |
60 |
In order to use the KIELER Compiler from the command line you need to know the ID of the transformations you would like to apply. Here are the most common ones: |
| 61 |
61 |
|
| ... |
... |
@@ -98,7 +98,7 @@ |
| 98 |
98 |
|
| 99 |
99 |
|
| 100 |
100 |
|
| 101 |
|
-== Examples == |
|
101 |
+== Example Calls == |
| 102 |
102 |
|
| 103 |
103 |
=== Example 1 === |
| 104 |
104 |
|