Open lukstafi opened 6 months ago
In a separate commit, I address an issue I noticed when testing on my system: missing python but python3 present. Feel free to revert this part.
python
python3
There was a missing -p in the dune build part of the install script. I only realized that after rewriting installation to use dune-project.
-p
dune build
dune-project
In a separate commit, I address an issue I noticed when testing on my system: missing
python
butpython3
present. Feel free to revert this part.