Unverified Commit b75b2208 authored by Merlin's avatar Merlin 💧
Browse files

Nix install one liner

parent 29ac1c38
Pipeline #10871 failed
......@@ -44,6 +44,8 @@ If you want to do modelchecking you should look into [the `modcheck` branch](htt
We also provide batteries included build infrastructure using `nix`. See [the respective documentation](./nix/) on how to use `nix` to develop or compile COOL.
You could compile and intall COOL and all it's dependencies using `nix` by running `nix-env -f https://git8.cs.fau.de/software/cool/-/archive/master/cool-master.tar.gz -iA cool`
### Dependencies
Install ocaml include files, minisat include files. Place them in the include
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment