Broken docker receipe - Githubissues

draperlaboratory / cbat_tools

Program analysis tools developed at Draper on the CBAT project.

MIT License

102 stars 14 forks source link

Broken docker receipe #331

Closed codyroux closed 3 years ago

codyroux commented 3 years ago

Currently the docker recipe fails, because (we believe) z3 is not found by ocamlfind.

Fixing this is relatively easy, just invoke opam install z3 prior to building WP.

However this build an older version of Z3. @fortunac suggests opam pin z3 --dev-repo but this also fails, because the container uses an older version of gcc!

This can all be cleaned up without too much trouble.

codyroux commented 3 years ago

Closing this for now, since we call opam install z3 -j 3 by default.