mirror of
https://codeberg.org/ProgramSnail/config.git
synced 2025-12-24 16:28:44 +00:00
32 lines
1,017 B
YAML
32 lines
1,017 B
YAML
- name: Installing vscode (uncoded)
|
|
ansible.builtin.import_tasks: vscode.yml
|
|
|
|
- name: Installing ocaml (required for lsp)
|
|
ansible.builtin.import_tasks: ocaml.yml
|
|
|
|
# TODO: add option 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
|