Use `mkdir -p` instead of `mkdir` to ease rerunning `yices` installation

GaloisInc / what4-solvers

Multi-platform binary creation for solvers of the versions most suitable for use with What4

5 stars 1 forks source link

Use `mkdir -p` instead of `mkdir` to ease rerunning `yices` installation #35

Closed samcowger closed 1 year ago

samcowger commented 1 year ago

See above.

RyanGlScott commented 1 year ago

Thanks, @samcowger! For what it's worth, I'd be very surprised if the Windows CVC5 build failure was the fault of this patch. A more likely explanation is that the Windows build upgraded the version of g++ it is using, which interacts poorly with CVC5's build. I've opened https://github.com/GaloisInc/what4-solvers/issues/36 to track this.