Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start #964
Annotations
3 errors
all-except-generated-and-js-of-ocaml
Makefile.standalone:72: src/ExtractionOCaml/unsaturated_solinas
|
all-except-generated-and-js-of-ocaml
Makefile.standalone:71: src/ExtractionOCaml/fiat_crypt
|
all-except-generated-and-js-of-ocaml
Process completed with exit code 2.
|
Loading