On 09/07/2016 16:59, Gabriel Scherer wrote: > - either you think that it should work on 4.01, and understand the issue > and fix it on your side (or maybe it's a glitch on the testing matching, > but then you need to say so)
Why3 0.87.1 works fine with OCaml 4.01. The testing machine works fine too. It is just a matter of parallel build not working that well. I should submit a new opam package just to disable parallel builds but I have other things to do. Best regards, Guillaume _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr http://lists.gforge.inria.fr/mailman/listinfo/why3-club