search

PLTools / Lama

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

Clarify `lib32gcc-*-dev` installation FAQ #25

Closed blonded04 closed 11 months ago

blonded04 commented 11 months ago

My lamac installation still failed after installing lib32gcc-9-dev, but I find out that my system-wide gcc is not gcc-9 but gcc-11 so I need lib32gcc-11-dev, maybe it will help some other students

Kakadu commented 11 months ago

https://github.com/PLTools/Lama/blob/1.2/Lama.opam#L29 @danyaberezun It would be great to specify explicitly required version of gcc pacakges in depext fields.

danyaberezun commented 11 months ago

I do not think we have any explicit dependencies on specific gcc version. We just need x86_32 compatibility and libraries.