Installation of Ikarus¶
Change links on this website when final accounts for repository and docker container are fixed and remove this warning.
Graphical output is currently not supported on Windows 10 (but will probably be available in the future). Therefore, working on Windows 11 is recommended.
The installations on Windows relies on WSL 2, i.e. although working with Windows, the code is compiled and executed in Linux.
Installation on Windows using Docker Container and Clion¶
- Install WSL: Open the PowerShell as an admin and execute the following commands. Reboot afterwards, if requested.
- Download and install Docker for Windows. During the installation, select the option "Install required Windows components for WSL 2"
- Install debian from WindowsAppStore
- Open the debian app
- Give yourself a username and password
- Close the debian app
- Open the PowerShell and execute:
Debian
should appear as one of the available Linux distributions. - In the PowerShell execute:
- Try to start Docker. If it works, continue with the next step. If a message occurs that you are not allowed to use docker because
you are not in the docker user group, follow these instructions.
In short:
- Open computer management as admin
- Go to Local users and groups and find docker-users
- Add your Account (or a group of which you are a member) to the group.
- Restart your computer
- In Docker, go to Settings → General and select autostart for docker (otherwise you have to start it manually each time you want to work with Ikarus).
-
In the Docker settings, select that Docker uses your WSL2 distribution Debian as shown in the picture.
In cases docker says that you don't have a WSL 2 distribution, go to the PowerShell and execute
You should now be able to change the docker settings according to the picture above. -
Open the PowerShell and execute:
- Download and install CLion. You need a version >=2022.1.
- In CLion, go to File and Settings and apply the following settings for the toolchain:
Edit the Container settings and paste the following command into
Run options
: - Clone Ikarus
Clone Ikarus¶
- Clone the Ikarus repository.
- Open the
CMake
tab in the CLion footer: - Click on
Reload CMake project
(refresh symbol): - CMake now detects all required sources automatically. The output should look similar to the screenshot below:
Installation on Linux¶
- If you have docker available, simply pull the container with Ikarus installed to start developing.
- Log in to the container via
- Instead of point 2, one can now also follow the documentation above if Clion on Linux is preferred.