diff --git a/roles/dev/tasks/ocaml.yml b/roles/dev/tasks/ocaml.yml index 0e0dc8f..065cba0 100644 --- a/roles/dev/tasks/ocaml.yml +++ b/roles/dev/tasks/ocaml.yml @@ -7,7 +7,12 @@ - gmp-devel state: latest -- name: "Installing coq lsp: pin version" +- name: Initializing opam + ansible.builtin.command: + cmd: opam init + changed_when: false + +- name: Creating opam default switch (5.3.0) ansible.builtin.command: cmd: opam switch create default 5.3.0 changed_when: false