7 Commits

Author SHA1 Message Date
Dimitri Fontaine
a9133256a7 Change the main Dockerfile for sbcl to use make save too.
That building script does not rely on buildapp, which might be an advantage
in docker environments: first it's one less dependency, second, we have seen
weird error cases when using buildapp.
2019-04-17 14:56:54 +03:00
Jason Rigby
6e7ea90806 add cl-ironclad and cl-babel dependencies to docker builds (#854) 2018-10-18 18:56:40 +02:00
uniquestring
34cc25383a Improved Dockerfiles/docker image size (#821)
* Add dockerfiles to .dockerignore

Otherwise changes in the dockerfiles would invalidate the cache

* Rewrite Dockerfile

- Fix deprecated MAINTAINER instruction
- Move maintainer label to the bottom (improving cache)
- Tidy up apt-get
- Use COPY instead of ADD
  see https://docs.docker.com/develop/develop-images/dockerfile_best-practices/#add-or-copy
- Remove WORKDIR instruction (we don't really need this)
- Combine remaining RUN layers to reduce layer count
- Move final binary instead of copying (reduce image size)

* Use -slim image an multistage build

Reduce size by using multistage builds and the -slim image.
Use debian:stable instead of an specific code name (future proof).

* [cosmetic] indent Dockerfile instructions

Make it easier to see where a new build stage begins

* Rewrite Dockerfile.ccl

Apply the same changes to Dockerfile.ccl as we did for Dockerfile
2018-08-11 01:08:00 +02:00
Dimitri Fontaine
bd7eb38720 Review Dockerfiles.
Upgrade to stretch in the docker builds and improve disk footprint to some
degree, using classic docker tricks.

See #748.
2018-02-25 00:00:42 +01:00
Dimitri Fontaine
d1a2e3f46b Improve the Dockerfile and the versioning.
When building from sources within the git environement, the version
number is ok, but it was wrong when building in the docker image. Fix
the version number to 3.3.0.50 to show that we're talking about a
development snapshot that is leading to version 3.3.1.

Yeah, 4 parts version numbers. That happens, apparently.
2016-01-07 10:21:52 +01:00
Dimitri Fontaine
ee2a68f924 Improve Dockerfile.
It was quite idiotic to RUN a git clone rather than just use the files
from the docker context...
2016-01-05 11:28:19 +01:00
Dimitri Fontaine
f8cb7601c5 Implement a Dockerfile.
Apparently it's quite common nowadays for people to use docker to build
and run software in a contained way, so provide users with the facility
they need in order to do that.
2016-01-04 21:05:46 +01:00