"docker build -t cryptosmt ."cannot be executed about cryptosmt HOT 4 CLOSED

I am facing the same issue. Did you find any fix for this error?

from cryptosmt.

Hello, I found the problem is with the repo niklasso/minisat, wich is no updated and doesnt build with modern compilers, changing the repo on the Dockerfile to an updated fork fix the problem. I choose agurfinkel/minisat, since it only does modifications to fix the compiler.

from cryptosmt.

So: open docker/Dockerfile, find niklasso and replace it with agurfinkel or any other user who forked and fixed the compilation errors on minisat
@kste could you please fix it with a commit, I think forking editing... is not worth for a word change

from cryptosmt.

I pulled in the updated minisat repo now, which should fix this issue. Let me know if you still have build issues!

from cryptosmt.