Also, do not build the bytecode of the why3 library when compiling in native code.
Attach a file by drag & drop or click to upload
Andrei Paskevich authored