search

PLTools / Lama

Teaching language LaMa for a compiler course
GNU General Public License v3.0
67 stars 28 forks source link

Problem with Lama installation #2

Closed BassinD closed 4 years ago

BassinD commented 4 years ago

Hi, I'm tried to install Lama through intallation guide, but I couldn't complete last step with Lama package installation using opam. I have the next output

$ opam pin add lama https://github.com/JetBrains-Research/Lama.git
[NOTE] Package lama is already git-pinned to
       https://github.com/JetBrains-Research/Lama.git.
       This will erase any previous custom definition.
Proceed ? [Y/n] y

[lama] https://github.com/JetBrains-Research/Lama.git updated
[ERROR] File "/home/bassid1/.opam/system/packages.dev/lama/opam", line 29,
        character 4-5: parse error.
[WARNING] Errors in opam file from lama source, ignored (fix with 'opam pin
          edit')

[ERROR] File "/home/bassid1/.opam/system/overlay/lama/opam_", line 29,
        character 4-5: parse error.
Invalid opam file:
    error  1: File does not parse
Errors in /home/bassid1/.opam/system/overlay/lama/opam, retry editing ? [Y/n]

The error is in the opam file in the 29 line (4-5 character is space). I tried to change space symbol to resolve encoding issue, but it didn't make sense.

Environment description OS: Ubuntu 18.04 opam version: 1.2.2 ocaml version: 4.05.0 gcc-multilib version: 7.4.0

dboulytchev commented 4 years ago

Looks like a compatibility issue; try using fresher tools, in particular:

opam 2.0.4 ocaml 4.07.1

Perhaps you're installing them from Ubuntu's package repository, which is known for lagging behind.

BassinD commented 4 years ago

Yeah, it was compatibility issue. I think adding minimal versions of required packages would be a good idea. Thank you!