UniFormal / MMT

The MMT Language and System
https://uniformal.github.io/
Other
68 stars 22 forks source link

Building the project with sbt #581

Closed patrick-nicodemus closed 10 months ago

patrick-nicodemus commented 10 months ago

https://uniformal.github.io//doc/setup/ On this page it says the command to build the project is cd MMT/src; sbt mmt/deploy Is this still correct? This does not work for me. I do not see a deploy folder in the src/mmt folder. I get similar error messages to this page I am using Windows Powershell. Edit: Never mind, the command works as shown. I assumed that the slash was a Linux file path marker and that I had to change it to sbt .\mmt\deploy for Windows but this was obviously incorrect.