1. 安装opam

    预先安装好opam,详情见:Window下OCaml和opam安装教程

  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-20210806185620848

    image-20210806185648162

    image-20210806160244991

    不知道有没有安装成功。

    1
    $ opam show lustre-v6

    只是存在一些各版本的文件包。

    image-20210807183243459

    image-20210806185928760

    但是opam更新时显示未安装。

    image-20210807202456142

    安装失败。大概是lutils未安装成功?

    image-20210807202536455

    有知道解决方法的友友希望能给我解答呜呜呜。。。