From 40f142bab859d157004ec1392f7d69411b216829 Mon Sep 17 00:00:00 2001 From: Alexander Pann Date: Thu, 25 Jan 2024 10:44:03 +0100 Subject: [PATCH] Update the readme --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 1a8ec9cb..ce5f9493 100644 --- a/README.md +++ b/README.md @@ -19,7 +19,7 @@ and build the languages. * copy the *gradle.properties.example* as *gradle.properties* and replace "<...>" with your paths, github-username and a token with rights to access github-packages - in *Windows* please note that the paths should use *slash* instead of *back-slash*, and they must NOT contain any *space* character (' ') - e.g. ```properties - mpsHomeDir=C:/work/MPS_2022.3.x + mpsHomeDir=C:/work/MPS_2023.2 mbeddr.formal.home=C:/work/mbeddr.formal gpr.user= gpr.token= @@ -31,7 +31,7 @@ and build the languages. ## Building (from MPS) -1. [download](https://www.jetbrains.com/mps/download/previous.html) and install MPS 2022.3.x +1. [download](https://www.jetbrains.com/mps/download/previous.html) and install MPS 2023.2 2. run `gradlew.bat setup`. You can skip this step if you have built the project with Gradle already. 3. start MPS 4. in 'Settings->Appearance & Behavior->Path Variables', set the path variable `mbeddr.formal.home` to point to the directory which contains the cloned 'mbeddr.formal' repository.