... I finally succeeded in compiling and installing why3 0.87.3 with macosx 10.12.3 (without the gzip option). Was not so easy to get macports and opam consistent. But with double ocaml systems, it has worked out.
(I’m still suspicious with Gzip under that version of macosx) Thanks Claude for your help. Best, -JJ- _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr http://lists.gforge.inria.fr/mailman/listinfo/why3-club
