# TODO: use ansible ocaml package for install ??
- name: Installing opam
  become: true
  ansible.builtin.dnf5:
    name:
      - opam
      - gmp-devel
    state: latest

- name: "Installing coq lsp: pin version"
  ansible.builtin.command:
    cmd: opam switch create default 5.3.0
  changed_when: false

# update fish path
- name: Get programs list to check fish presence
  ansible.builtin.package_facts:
    manager: auto

- name: Update fish path for bun
  ansible.builtin.shell: fish_add_path -m {{ ansible_env.HOME }}/.opam/default/bin
  args:
    executable: /usr/bin/fish
  changed_when: false