Add ifdef guards for successful compile to wasm.

Boolector / boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

http://boolector.github.io

Other

324 stars 63 forks source link

Add ifdef guards for successful compile to wasm. #219

Closed cr1901 closed 4 months ago

cr1901 commented 5 months ago

I recently got boolector to successfully compile for WebAssembly.

I am using local patches for the time being, but this PR introduces my patches to upstream. This should be merged after the equivalent btor2tools PR.

cr1901 commented 4 months ago

I can't seem to get any build logs for the failing builds. Is there any changes I should make on my end before someone who can merge this takes a look?