Skip to content

Commit

Permalink
Update the readme
Browse files Browse the repository at this point in the history
  • Loading branch information
alexanderpann committed Jan 25, 2024
1 parent bd075b1 commit 40f142b
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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=<a github user name>
gpr.token=<token for package access>
Expand All @@ -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.
Expand Down

0 comments on commit 40f142b

Please sign in to comment.