Dear *, I have some issues compiling the IDE on OSX. Here is the error I get when `make'ing the project:
> Ocamldep src/ide/gmain.ml > Ocamlc src/ide/gmain.ml > Ocamlopt src/ide/gmain.ml > File "src/ide/gmain.ml", line 1: > Error: Wrong file naming: /Users/dan/.opam/4.02.3/lib/lablgtk2/gmain.cmi >contains the compiled interface for > Gmain when GMain was expected > make: *** [src/ide/gmain.cmx] Error 2 I suspect this might be because lablgtk also contains a module/file with the name gmain.ml? Could it be something to do with the fact that my filesystem is case insensitive? Luckily the why3 itself compiles fine, but I am very new to OCaml and its whole ecosystem so I am not sure where to scavenge for the error. PS: Here is the full output of ./configure and make: https://gist.github.com/co-dan/a9201c5f17ae84762b52ec3f2e686091 Sincerely yours, Dan
_______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr http://lists.gforge.inria.fr/mailman/listinfo/why3-club