- 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