[Dev] use new Dockerfile, based on Alpine, and restructure old Dockerfiles
Showing
- devel_tools/docker/.gitignore 10 additions, 0 deletionsdevel_tools/docker/.gitignore
- devel_tools/docker/Dockerfile.template 211 additions, 0 deletionsdevel_tools/docker/Dockerfile.template
- devel_tools/docker/Makefile 878 additions, 0 deletionsdevel_tools/docker/Makefile
- devel_tools/docker/README.md 50 additions, 19 deletionsdevel_tools/docker/README.md
- devel_tools/docker/cvc4.template 5 additions, 0 deletionsdevel_tools/docker/cvc4.template
- devel_tools/docker/env.template 11 additions, 0 deletionsdevel_tools/docker/env.template
- devel_tools/docker/frama-c.18.0/Dockerfile 0 additions, 63 deletionsdevel_tools/docker/frama-c.18.0/Dockerfile
- devel_tools/docker/frama-c.19.1/Dockerfile 0 additions, 63 deletionsdevel_tools/docker/frama-c.19.1/Dockerfile
- devel_tools/docker/frama-c.20.0/Dockerfile 0 additions, 64 deletionsdevel_tools/docker/frama-c.20.0/Dockerfile
- devel_tools/docker/frama-c.21.0/Dockerfile 0 additions, 65 deletionsdevel_tools/docker/frama-c.21.0/Dockerfile
- devel_tools/docker/frama-c.21.1/Dockerfile 0 additions, 65 deletionsdevel_tools/docker/frama-c.21.1/Dockerfile
- devel_tools/docker/frama-c.22.0/Dockerfile 0 additions, 66 deletionsdevel_tools/docker/frama-c.22.0/Dockerfile
- devel_tools/docker/frama-c.custom/.gitignore 0 additions, 2 deletionsdevel_tools/docker/frama-c.custom/.gitignore
- devel_tools/docker/frama-c.custom/Dockerfile 0 additions, 70 deletionsdevel_tools/docker/frama-c.custom/Dockerfile
- devel_tools/docker/frama-c.custom/README.md 0 additions, 46 deletionsdevel_tools/docker/frama-c.custom/README.md
- devel_tools/docker/frama-c.dev/Dockerfile 0 additions, 68 deletionsdevel_tools/docker/frama-c.dev/Dockerfile
- devel_tools/docker/z3.template 3 additions, 0 deletionsdevel_tools/docker/z3.template
Loading
Please register or sign in to comment