Missing z3.obj - Githubissues

cssl-unist / trust-sec23

7 stars 1 forks source link

Missing z3.obj #3

Open andsanmar opened 6 months ago

andsanmar commented 6 months ago

When compiling mpk-svf it is required the directory z3.obj, which is assigned to Z3_DIR. Nonetheless, this directory is not downloaded or created in all the build process.

andsanmar commented 6 months ago

build.sh:94 has the wrong identation, which caused the issue. I recommend to fix the issue