Installing Dependencies

Table 1: Dependencies for Coq articles

Package	Version
coq	8.13.1
coq-compcert	3.8

Table 2: Dependencies for the coqffi series

Package	Version
dune	2.8.4
coq-coqffi	1.0.0~beta5
coq-simple-io	1.5.0

Table 3: Soupault

Package	Version
soupault	2.5.0

OCAML_VERSION := 4.11.2
OCAML := ocaml-base-compiler.${OCAML_VERSION}

_opam/init :
	@cleopatra echo "Creating" "a local Opam switch"
	@opam switch create . ${OCAML} --repos default,coq-released || true
	@cleopatra echo "Installing" "OCaml dependencies"
	@opam install dune.2.8.4 coq-coqffi.1.0.0~beta5 coq-simple-io.1.5.0 soupault.2.5.0 coq.8.13.1 coq-compcert.3.8 -y
	@touch $@

CONFIGURE += _opam

Table 4: Frontend dependencies

Package	Version
katex	0.13.0
minify	7.0.1
normalize.css	8.0.1

{
  "dependencies": {
      "katex": "^0.13.0",
      "minify": "^7.0.1",
      "normalize.css": "^8.0.1"
  }
}

package-lock.json : package.json
	@cleopatra echo "Installing" "frontend dependencies"
	@npm install