Skip to Content
Last modified by cmot on 2023/09/11 16:16
From version 30.1
edited by cmot
on 2014/06/17 12:58
Change comment: There is no comment for this version
To version 28.1
edited by cmot
on 2014/06/11 12:54
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -3,7 +3,7 @@
3 3  The KIELER Compiler Console is a pure Java program that together with a KIELER RCA allows to call the KIELER Compiler from the console. For using the KIELER Compiler Console you need to
4 4  
5 5  1. Enable the TCP Server in the KIELER RCA and
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"]] ([[alternati>>attach:KielerCompiler.jar]][[ve Download>>attach:KielerCompiler.jar]]) as a runnable Java JAR archive and run it.
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"]] ([[alternati>>attach:KielerCompiler.jar]][[alternative Download>>attach:KielerCompiler.jar]][[ve Download>>attach:KielerCompiler.jar]]) as a runnable Java JAR archive and run it.
7 7  
8 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  
... ... @@ -54,8 +54,7 @@
54 54  
55 55  In the above screenshot you see the KielerCompiler options when calling with no/too few parameters. The host or the port are mandatory parameters. By default the port **5555** is used and the default host is **localhost**. If you secify the port you do not need to specify localhost, if you specify the host you do not need to specify 5555. The following options are available:
56 56  
57 -* -f <filename> : Use a specific input file for the main model (and not the console)
58 -* -i <filename> : Include additional input files that are referenced by the main model, note that the order for using multiple -i options is important: Use the order -i file1 -i file2 if file1 has references to file2 but file2 has NO references to file1!
57 +* -f <filename> : Use a specific input file (and not the console)
59 59  * -o <filename> : Use a specific output file (and not the console)
60 60  * -v : Use verbose compilation, more error messages
61 61  * -s: Use strict mode compilation (only apply selected transformations)
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -9470992
1 +9470961
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9470992/KIELER Compiler Console
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9470961/KIELER Compiler Console