blob: 509677f36f6883e2fc5a0e22140a4c658407df9d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
OCAML_VERSION := 4.12.0
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.2.9.0 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 -y
@touch $@
CONFIGURE += _opam
package-lock.json : package.json
@pretty-echo.sh "Installing" "frontend dependencies"
@npm install
CONFIGURE += package-lock.json node_modules
dependencies-prebuild : _opam/init package-lock.json
|