Closed polgreen closed 1 week ago
I believe the fix is to update https://github.com/diffblue/cbmc/blob/develop/integration/xen/Dockerfile#L1: we need to move to a Ubuntu release that has a reasonably current compiler. Ubuntu 16.04 doesn't quite do it anymore.
CBMC version: 6.0.0-preview (cbmc-6.0.0-alpha-225-g40a981fbb8) Operating system: Ubuntu 22.04 Exact command line resulting in the issue:
cd integration/xen; make
What behaviour did you expect:
The integration test should create a docker image from the Dockerfile, start the docker container, and compile Xen with goto-cc
What happened instead:
The step that creates a docker image from the Dockerfile fails to compile CBMC, i.e., it is failing at line 8 of the docker_compile_xen.sh script https://github.com/diffblue/cbmc/blob/40a981fbb83c5bdbb851309f9dfe2e6617a8f41e/integration/xen/docker_compile_xen.sh#L8
The compilation error is:
CBMC compiles correctly outside of the docker container. I am using Docker version 20.10.17, build 100c701.