Fix deps directory creation

stanford-centaur / smt-switch

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

Other

114 stars 43 forks source link

Fix deps directory creation #354

Closed CyanoKobalamyne closed 2 months ago

CyanoKobalamyne commented 2 months ago

When the deps directory doesn't exist, the contrib/setup-bitwuzla.sh script will fail, because it tries to cd into it before trying to create it.