racket.dockerfile 1.3 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950
  1. FROM debian:stretch-slim AS debian
  2. ARG DEBIAN_FRONTEND=noninteractive
  3. ARG TERM=linux
  4. RUN echo 'APT::Get::Install-Recommends "false";' > /etc/apt/apt.conf.d/00-general \
  5. && echo 'APT::Get::Install-Suggests "false";' >> /etc/apt/apt.conf.d/00-general \
  6. && echo 'APT::Get::Assume-Yes "true";' >> /etc/apt/apt.conf.d/00-general \
  7. && echo 'APT::Get::force-yes "true";' >> /etc/apt/apt.conf.d/00-general
  8. FROM debian AS racket
  9. ARG RACKET_VERSION=7.6
  10. RUN apt-get update -q \
  11. && apt-get install --no-install-recommends -q -y \
  12. ca-certificates curl libcurl3-gnutls \
  13. && rm -rf /var/lib/apt/lists/* \
  14. && curl -L -o racket-install.sh \
  15. -O http://mirror.racket-lang.org/installers/${RACKET_VERSION}/racket-minimal-${RACKET_VERSION}-x86_64-linux-natipkg.sh \
  16. && echo "yes\n1\n" | sh racket-install.sh --create-dir --unix-style --dest /usr/ \
  17. && rm racket-install.sh
  18. ENV SSL_CERT_FILE="/etc/ssl/certs/ca-certificates.crt"
  19. ENV SSL_CERT_DIR="/etc/ssl/certs"
  20. FROM racket AS builder
  21. WORKDIR /racket
  22. ADD . .
  23. RUN raco pkg install --auto compiler-lib db-lib threading-lib web-server-lib \
  24. && raco make servlet.rkt \
  25. && raco exe servlet.rkt
  26. FROM racket
  27. WORKDIR /racket
  28. COPY --from=builder /racket/servlet .
  29. RUN ["chmod", "+x", "./servlet"]
  30. EXPOSE 8080
  31. ENV PLT_INCREMENTAL_GC=1
  32. CMD ["/racket/servlet"]