Installing Dependencies
OCaml and Coq
Package | Version |
---|---|
coq | 8.13.2 |
coq-compcert | 3.8 |
Package | Version |
---|---|
dune | 2.9.0 |
coq-coqffi | 1.0.0~beta7 |
coq-simple-io | 1.5.0 |
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
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