Open bsansouci opened 6 years ago
Right now we just assume the user has opam installed with 4.02.3+buckle-master as the compiler. We should check and error when it's not the case.
4.02.3+buckle-master
Right now we just assume the user has opam installed with
4.02.3+buckle-master
as the compiler. We should check and error when it's not the case.