Skip to content

Commit

Permalink
Improved install instructions regarding upgrading of dune.
Browse files Browse the repository at this point in the history
  • Loading branch information
Valentin committed Nov 4, 2023
1 parent 245ca52 commit 0f8f34c
Showing 1 changed file with 19 additions and 3 deletions.
22 changes: 19 additions & 3 deletions src/readme.md
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
* `make install`


If there are problems of the type:
### If there are problems of the type:
```
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
┌─ The following actions failed
Expand All @@ -17,7 +17,7 @@ C++ compiler should be set to gcc with (does not work with CLION) :
export CC=gcc
```

If there are problems of the type:
### If there are problems of the type:
`
^^^^^^^^^^^^^^^
Error: Unbound value List.concat_map
Expand All @@ -34,7 +34,7 @@ if too old, then update to (for example 4.13.1)
opam switch create 4.13.1
```

update terminal:
### update terminal:

```
eval $(opam env)
Expand All @@ -44,4 +44,20 @@ opam upgrade

and check again the version.

### Problems with dune

check version of dune
```
dune --version
```

it should be above 2.8.0.

maybe remove the one installed by apt (under ubuntu), this one is rather old. and install the newest through opam itself:
```
opam install dune
```

and check for the version you need.


0 comments on commit 0f8f34c

Please sign in to comment.