Changes for page Running KEITH
Last modified by Richard Kreissig on 2023/09/14 08:48
Change comment:
There is no comment for this version
Summary
-
Page properties (2 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki. nre1 +XWiki.sdo - Content
-
... ... @@ -8,27 +8,33 @@ 8 8 9 9 For everything not mentioned here refer to [[Getting Eclipse>>doc:KIELER.Getting Eclipse||shape="rect"]] guide. 10 10 11 -Use the installer go to advanced mode, add the KIELER url. Thenselectfirst semanticsandafterthatpragmatics(**that is very****important**).Youcanseehatyouhavedonethatcorrectlyontheautomaticallygeneratedname ofyourEclipse:Itshould besomething like kieler-semantics-theia.11 +Use the installer go to advanced mode, add the KIELER url. If you plan to develop for the semantic language server (e.g. for the compiler) you should select KIELER semantics for diagram only KIELER pragmatics. In any case select the keith stream. 12 12 13 - SelecttheTheiastreamforsemanticsandtheKeithstream for pragmaticsand use thelatestEclipse ifpossible.Setthetargetplatformto latest andfinish.13 +If you plan to develop in elk at the same time first select the Eclispe Layout Kernel setup and after that the semantics or pragmatics setup. 14 14 15 15 Wait till everything installs and the setup tasks finish. If you have any problems in this stage refer to the [[Getting Eclipse>>doc:KIELER.Getting Eclipse||shape="rect"]] guide. 16 16 17 +To run the language server go to //Run Configurations// create a new E//clipse Application// run configuration and select //Run an application// and //de.cau.cs.kieler.language.server.LanguageServer// (for semantics LS,//de.cau.cs.kieler.kgraph.language.server.LanguageServer// otherwise) 18 + 19 +== [[image:attach:Screenshot from 2019-02-15 14-10-50.png]] == 20 + 17 17 \\ 18 18 19 - The setup tasks for ModularTargetwill fail. Disable itafter this happens andexecutethemagain via //Help>PerformSetup Tasks//.Openthe//plug-indevelopment// perspective.Select workingsetsas top level elements. Run //clean build//.Severalpragmaticsprojectshaveerrors.Justclose themandyou willbefine.23 +You have to edit the arguments too. The Vm arguments host and port are added to connect the LS via socket: 20 20 21 -To run the language server go to //Run Configurations// create a new E//clipse Application// run configuration and select //Run an application// and //de.cau.cs.kieler.language.server.LanguageServer// 25 +{{code}} 26 +-os ${target.os} -ws ${target.ws} -arch ${target.arch} -nl ${target.nl} -consoleLog 27 +{{/code}} 22 22 23 -== [[image:attach:Screenshot from 2019-02-15 14-10-50.png]] == 29 +{{code}} 30 +-Dhost=localhost -Dport=5007 31 +{{/code}} 24 24 25 25 \\ 26 26 27 -You have to edit the arguments too. The Vm arguments host and port are added to connect the LS via socket. 28 - 29 29 [[image:attach:Screenshot from 2019-02-15 14-13-34.png]] 30 30 31 -The default port to which KEITH tries to connect is 5007. 37 +The default port to which KEITH tries to connect is 5007. You can of course change this for the languae server but be aware that this has to be changed in KEITH too. 32 32 33 33 == Setting up a KEITH developer setup... == 34 34
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 - 656670791 +73072823 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/ 65667079/Running KEITH1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/73072823/Running KEITH