Skip to content

Commit

Permalink
Makefile: assume OCaml has been setup already
Browse files Browse the repository at this point in the history
  • Loading branch information
Everett Hildenbrandt committed Jan 29, 2019
1 parent 8580c6c commit 1b518a9
Showing 1 changed file with 0 additions and 5 deletions.
5 changes: 0 additions & 5 deletions Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -46,11 +46,6 @@ $(pandoc_tangle_submodule)/make.timestamp:
touch $(pandoc_tangle_submodule)/make.timestamp

deps-ocaml:
opam init --quiet --no-setup
opam repository add k "$(k_submodule)/k-distribution/target/release/k/lib/opam" \
|| opam repository set-url k "$(k_submodule)/k-distribution/target/release/k/lib/opam"
opam update
opam switch 4.06.1+k
eval $$(opam config env) \
opam install --yes mlgmp zarith uuidm ocaml-protoc rlp yojson hex ocp-ocamlres

Expand Down

0 comments on commit 1b518a9

Please sign in to comment.