@@ -16,11 +16,12 @@ First, you have to set up a development environment:
...
@@ -16,11 +16,12 @@ First, you have to set up a development environment:
1. Install [Unity](https://unity3d.com/de/get-unity/download) 2019.4.x (LTS) via the Unity Hub. We periodically update to the latest LTS version. Currently, any 2019.4 version should work; you can safely ignore any version warnings popping up.
1. Install [Unity](https://unity3d.com/de/get-unity/download) 2019.4.x (LTS) via the Unity Hub. We periodically update to the latest LTS version. Currently, any 2019.4 version should work; you can safely ignore any version warnings popping up.
2. Clone this repository: `git clone https://github.com/UFrameIT/UFrameIT.git`
2. Clone this repository: `git clone https://github.com/UFrameIT/UFrameIT.git`
3. Follow the [UFrameIT server installation guide](https://github.com/UniFormal/MMT/blob/devel/src/frameit-mmt/installation.md).
4. Follow these [instructions](https://github.com/UniFormal/MMT/blob/devel/src/frameit-mmt/installation.md) to get the necessary MMT archives and install the Server Component
Thereby, you will also install the necessary [archives of formalization UFrameIT/archives](https://github.com/UFrameIT/archives).
### Running
### Running
1. Open the Unity Hub and add the folder where you have cloned this repository. Then, you can directly open the project in the hub.
1. Open the Unity Hub and add the folder where you cloned this repository to. Then open the project in the hub.
2.Run the Server via IntelliJ (as described in the [FrameIT MMT server's usage guide](https://github.com/UniFormal/MMT/tree/devel/src/frameit-mmt))
2.Follow the [UFrameIT server installation guide](https://github.com/UniFormal/MMT/blob/devel/src/frameit-mmt/installation.md) to run the server