Correnson Loïc
Correnson Loïc
Option `-wp-gen` is not currently working (it was designed for `-wp-prover native:*` outputs only). There is a trick : when using cache, digests are computed by pretty-printing the Why3 task...
✅ Tested on my mac M1: works perfectly!
I can confirm the bug: - the freshly build _or_ promoted binary is always correctly signed; - if no relocation is performed by dune, the installed binary is OK; -...
Using `ocamlopt -config` seems also ok, relevant fields are `architecture` and `system`: ``` architecture: amd64 | arm64 system: macosx ```
I think only (and systematically) for executables that are rewritten on-the-fly by dune. Others are correctly signed by the compiler.
- Don't need a CI here, using `codesign -` definitely works (this is what we do manually to fix the issue) - For identification via commands, `uname = Darwin` and...
Adding 2cents of my own to this issue : it would be great to (optionally) make `js_of_ocaml` generating one `.js` file per OCaml module, in order to allow for hot...