fixes, cli utils, vscode, coq

roles/dev/tasks/coq.yml

@@ -0,0 +1,32 @@
+- name: Install vscode (uncoded)
+  ansible.builtin.import_tasks: vscode.yml
+
+- name: Install ocaml (required for lsp)
+  ansible.builtin.import_tasks: ocaml.yml
+
+# TODO: add otion to choose ocaml switch
+- name: "Installing coq lsp: pin version"
+  ansible.builtin.command:
+    cmd: opam pin add coq 8.18.0 --yes
+  environment:
+    OPAMSWITCH: default
+  changed_when: false
+
+- name: "Installing coq lsp: lsp install"
+  ansible.builtin.command:
+    cmd: opam install vscoq-language-server --yes
+  environment:
+    OPAMSWITCH: default
+  changed_when: false
+
+- name: Downloading vscode coq lsp extension
+  ansible.builtin.get_url:
+    url: "https://open-vsx.org/api/maximedenes/vscoq/2.2.6/file/maximedenes.vscoq-2.2.6.vsix"
+    dest: "{{ ansible_env.HOME }}/.vscode_ext/vscoq.vsi"
+    mode: a
+    force: false
+
+- name: "Installing vscode coq lsp extension"
+  ansible.builtin.command:
+    cmd: "{{ ansible_env.HOME }}/.bin/code --install-extension {{ ansible_env.HOME }}/.vscode_ext/vscoq.vsi"
+  changed_when: false