search

cpitclaudel / z3.wasm

WASM builds of the Z3 SMT solver
MIT License
141 stars 9 forks source link

Using fixed version of Z3 and EMSCRIPTEN. #5

Closed stahlbauer closed 4 years ago

stahlbauer commented 4 years ago

Building the Z3.wasm with the current versions of the scripts and the dependencies does not work. I have adjusted the script to use particular versions of Z3 and EMSCRIPTEN to allow for more predictable build results. This also fixes #4.

Nevertheless, while the build seems to work fine up to a certain point, there is still a problem when building in the provided Vagrant environment: 

* Z3: Linking (slow!)
shared:ERROR: legacy setting used in strict mode: BINARYEN_ASYNC_COMPILATION
* Z3 smt2 client: Linking (slow!)
shared:ERROR: /home/vagrant/z3smt2.c: No such file or directory ("/home/vagrant/z3smt2.c" was expected to be an input file, based on the commandline arguments provided)
stahlbauer commented 4 years ago

Updated the pull request: The ECMSCRIPTEN option BINARYEN_ASYNC_COMPILATION was renamed to WASM_ASYNC_COMPILATION.