1. 安装opam

    打开终端,输入命令行。

    1
    $ sudo apt install opam
    image-20210809175637195

    查看opam版本号。

    image-20210809175821005

    初始化opam。

    1
    $ opam init

    更新opam。

    1
    $ opam update
  2. 通过opam安装Lustre V6

    1
    2
    3
    $ opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
    $ opam update
    $ opam install lustre-v6
    image-20210809180659180 image-20210809180906321

    安装完成。

    image-20210809183646901

    查看opam的安装包。

    1
    $ opam list

    image-20210809184258726

  3. 报错处理

    博主遇到conf-m4.1安装失败导致后续工具都安装失败。

    所以先单独安装conf-m4.1。

    1
    $ opam depext conf-m4.1

    在这之前如果没有安装depext,先安装。

    1
    $ opam install depext