Closed jetafese closed 12 months ago
This is a fix for failing docker builds that require a user to interact with the build process
Once can now build and run the container as follows: Build: docker build -t btor2mlir . --file docker/btor2mlir.Dockerfile Run: docker run -it btor2mlir
docker build -t btor2mlir . --file docker/btor2mlir.Dockerfile
docker run -it btor2mlir
This is a fix for failing docker builds that require a user to interact with the build process
Once can now build and run the container as follows: Build:
docker build -t btor2mlir . --file docker/btor2mlir.DockerfileRun:docker run -it btor2mlir