• erwan's avatar
    Lutin requires ocaml 4.02 because of the Byte module. · 25eb7e2b
    erwan authored
    also, add -I/usr/local/include/ in CCOpt oasis rules for packages
    that depend on gmp, as darwin can not find headers in this dir
    (bouh).  There is probably a better way to turn arouns that, but...
    25eb7e2b
_oasis 4.45 KB