Error when running scripts/docker_aachen_build.sh

[kikishao]

I'm trying to get klee-float working using the dockerfile, and following the instructions here https://srg.doc.ic.ac.uk/projects/klee-float/getting-started.html. However, it produces the following error when running ./scripts/docker_aachen_build.sh :

=> ERROR [ 5/12] RUN wget https://pkgbuild.com/~eschwartz/repo/x86_64-extracted/pacman-stat 5.0s

[ 5/12] RUN wget https://pkgbuild.com/~eschwartz/repo/x86_64-extracted/pacman-static && chmod +x pacman-static:
#8 0.371 --2023-04-16 06:20:51-- https://pkgbuild.com/~eschwartz/repo/x86_64-extracted/pacman-static #8 0.508 Resolving pkgbuild.com (pkgbuild.com)... 78.46.178.133, 2a01:4f8:c2c:51e2::1 #8 0.529 Connecting to pkgbuild.com (pkgbuild.com)|78.46.178.133|:443... connected. #8 4.982 ERROR: cannot verify pkgbuild.com's certificate, issued by 'CN=R3,O=Let's Encrypt,C=US': #8 4.982 Issued certificate has expired. #8 4.985 To connect to pkgbuild.com insecurely, use `--no-check-certificate'.

---

executor failed running [/bin/sh -c wget https://pkgbuild.com/~eschwartz/repo/x86_64-extracted/pacman-static && chmod +x pacman-static]: exit code: 5

I'm on macOs Monterey(Apple M1 Pro) and using Docker 20.10.24.

[kikishao]

it seems that the content of "https://pkgbuild.com/~eschwartz/repo/x86_64-extracted/pacman-static" is "404 Not Found"

[danielschemmel]

There are some known problems with the dockerfile (age has not been very kind to it), which I am currently working on.

However, you should be aware that your M1 will continue having problems running x86_64 software, even if the dockerfile is fixed (the QEMU translation layer provided with Docker is both slow and has functional problems).

[RainyTong]

Hi @danielschemmel , I have encountered the same issue when running scripts/docker_aachen_build.sh to build klee-float by docker. I am on Ubuntu 20.04. Do you have any idea or suggestion on other ways to build klee-float? Thank you!