Use this guide to conveniently set up reference development environments on almost any machine/platform.
For more information about installing and using Nix refer to https://zero-to-nix.com/start/install.
curl --proto '=https' --tlsv1.2 -sSf -L https://install.determinate.systems/nix | sh -s -- install
This section describes how to use various language environments for the given courses. The section assumes that Nix is installed on the system. All language related tools should become available in the shell right after starting the corresponding development environment as described below.
The following language environments are available for IPK:
nix develop "git+https://git.fit.vutbr.cz/NESFIT/dev-envs.git?dir=ipk#c"
nix develop "git+https://git.fit.vutbr.cz/NESFIT/dev-envs.git?dir=ipk#csharp"
nix develop "git+https://git.fit.vutbr.cz/NESFIT/dev-envs.git?dir=ipk#clisp"
The following language environments are available for ISA:
nix develop "git+https://git.fit.vutbr.cz/NESFIT/dev-envs.git?dir=isa#c"
nix develop "git+https://git.fit.vutbr.cz/NESFIT/dev-envs.git?dir=isa#csharp"