Forked from
David Hamelin / jscoq-light
Source project has a limited visibility.
-
Emilio Jesus Gallego Arias authored
This should nicely support M1-based OSX ; unfortunately, it required loosening the constraint on `ppx_deriving_yojson` as to make it co-installable with `ppx_import`, but that's a minor issue. Note the new option system for OCaml Opam packages, thus selecting a 32bit compiler is done differently now.
Emilio Jesus Gallego Arias authoredThis should nicely support M1-based OSX ; unfortunately, it required loosening the constraint on `ppx_deriving_yojson` as to make it co-installable with `ppx_import`, but that's a minor issue. Note the new option system for OCaml Opam packages, thus selecting a 32bit compiler is done differently now.