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 (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -10,12 +10,10 @@ 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 eitherthesemantics 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 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 19 If you have problems in the workspace that are still there after a clean build do the following: 20 20 21 21 * Disable Project>Build automatically ... ... @@ -61,11 +61,11 @@ 61 61 62 62 (Theia has a [[guide >>url:https://www.theia-ide.org/doc/authoring_extensions||shape="rect"]]for extension development that might be helpful) 63 63 64 -install node (for the version we refer to the Theia developer guide):62 +install node 8: 65 65 66 66 {{code}} 67 67 curl -o- https://raw.githubusercontent.com/creationix/nvm/v0.33.5/install.sh | bash 68 -nvm install 1066 +nvm install 8 69 69 {{/code}} 70 70 71 71 Install python if you haven't (remember: Python 2: , Python 3: ). ... ... @@ -86,7 +86,7 @@ 86 86 87 87 == ... on windows: == 88 88 89 -Install [[node>>url:https://nodejs.org/download/release/v8.15.0/||shape="rect"]] for windows. I personally used the {{code language="none"}}.msi{{/code}}. For the version refer to the Theia developer guide.87 +Install [[node 8>>url:https://nodejs.org/download/release/v8.15.0/||shape="rect"]] for windows. I personally used the {{code language="none"}}.msi{{/code}}. 90 90 91 91 Use that to install windows-build-tools by executing the command in an administrative powershell. 92 92
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -75694 1021 +75694098 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/75694 102/Running KEITH1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/75694098/Running KEITH