Installing Dependencies

OCaml and Coq

Table 1: Dependencies for Coq articles
Package Version
coq 8.13.2
coq-compcert 3.8
Table 2: Dependencies for the coqffi series
Package Version
dune 2.9.0
coq-coqffi 1.0.0~beta7
coq-simple-io 1.5.0
Table 3: Soupault
Package Version
soupault 3.1.0
OCAML_VERSION := 4.12.0
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.9.0 coq-coqffi.1.0.0~beta7 coq-simple-io.1.5.0 soupault.3.1.0 coq.8.13.2 coq-compcert.3.8 -y
	@touch $@

CONFIGURE += _opam

Frontend

Table 4: Frontend dependencies
Package Version
katex 0.13.13
minify 7.0.2
normalize.css 8.0.1
{
  "dependencies": {
      "katex": "^0.13.13",
      "minify": "^7.0.2",
      "normalize.css": "^8.0.1"
  }
}
package-lock.json : package.json
	@cleopatra echo "Installing" "frontend dependencies"
	@npm install

CONFIGURE += package-lock.json
dependencies-prebuild : _opam/init package-lock.json