diff options
| author | Thomas Letan <lthms@soap.coffee> | 2023-04-29 17:25:31 +0200 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2023-04-29 17:25:31 +0200 |
| commit | f6d4a1a584f5b83be87b4ee0f4c844329b074ff6 (patch) | |
| tree | 106ed9baa03b172bfaafc7054f91b00a5af03688 | |
| parent | Mention Tufte CSS (diff) | |
Use latest coqffi release (beta8)
| -rw-r--r-- | dependencies.mk | 4 | ||||
| -rw-r--r-- | site/posts/CoqffiIntro.org | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/dependencies.mk b/dependencies.mk index 764927d..e933f77 100644 --- a/dependencies.mk +++ b/dependencies.mk @@ -1,11 +1,11 @@ -OCAML_VERSION := 4.12.0 +OCAML_VERSION := 4.14.1 OCAML := ocaml-base-compiler.${OCAML_VERSION} _opam/init : @pretty-echo.sh "Creating" "a local Opam switch" @opam switch create . ${OCAML} --repos default,coq-released || true @pretty-echo.sh "Installing" "OCaml dependencies" - @opam install dune.3.7.1 coq-coqffi.1.0.0~beta7 coq-simple-io.1.5.0 soupault.4.2.0 coq.8.13.2 coq-compcert.3.8 coq-serapi mustache -y + @opam install dune.3.7.1 coq-coqffi.1.0.0~beta8 coq-simple-io.1.5.0 soupault.4.5.0 coq.8.13.2 coq-compcert.3.8 coq-serapi mustache -y @touch $@ CONFIGURE += _opam diff --git a/site/posts/CoqffiIntro.org b/site/posts/CoqffiIntro.org index e85f4b4..677283a 100644 --- a/site/posts/CoqffiIntro.org +++ b/site/posts/CoqffiIntro.org @@ -20,8 +20,8 @@ generates. They are of no concern for users of ~coqffi~. ** Requirements -The latest version of ~coqffi~ (~1.0.0~beta7~ at the time of writing) -is compatible with OCaml ~4.08~ up to ~4.12~, and Coq ~8.12~ up top +The latest version of ~coqffi~ (~1.0.0~beta8~ at the time of writing) +is compatible with OCaml ~4.08~ up to ~4.14~, and Coq ~8.12~ up top ~8.13~. If you want to use ~coqffi~, but have incompatible requirements of your own, feel free to [[https://github.com/coq-community/coqffi/issues][submit an issue]]. |