Summary

• Page properties (1 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Content

...	...	@@ -10,10 +10,19 @@
10	10
11	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		-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.
	13	+If you plan to develop in elk at the same time first select the Eclispe Layout Kernel setup and after that either 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	+Make sure that you have necessary forks of ELK/KlighD set up.
	18	+
	19	+If you have problems in the workspace that are still there after a clean build do the following:
	20	+
	21	+* Disable Project>Build automatically
	22	+* Select all Klighd and pragmatics plugins and do Project>Clean>Only selected and build only selected
	23	+* Do the same for the semantics projects
	24	+* Enable Project>Build automatically
	25	+
17	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	18
19	19	== [[image:attach:Screenshot from 2019-02-15 14-10-50.png]] ==

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-73072893
	1	+75694100

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/73072893/Running KEITH
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/75694100/Running KEITH