Fixed build for Spot - Githubissues

moves-rwth / docker-storm

Dockerfiles related to Storm

1 stars 0 forks source link

Closed volkm closed 4 months ago

volkm commented 4 months ago

Fixed spot build based on the suggestion here. Also added the (commented) commands for manually building Spot.

Fixes #4.

sjunges commented 4 months ago

Really nice!

Soplex is on 701. Do you want to change it in this PR or should i create another PR for that?

volkm commented 4 months ago

Thanks for the suggestion. I bumped the version.