From 8fc623bb1c7b0003277ed3142285e1033ce9879e Mon Sep 17 00:00:00 2001
From: eta <eta@theta.eu.org>
Date: Mon, 6 Jul 2020 13:28:10 +0100
Subject: [PATCH] get ironclad from github

---
 Dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Dockerfile b/Dockerfile
index 2cae7cd..49d8aa4 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -2,6 +2,7 @@ FROM rigetti/lisp AS whatscl-compiled
 
 RUN apt update -y && apt install -y git
 RUN sbcl --eval '(progn (quicklisp:update-dist "quicklisp" :prompt nil) (sb-ext:exit))' 
+RUN git clone https://github.com/sharplispers/ironclad /src/ironclad
 RUN git clone https://github.com/eeeeeta/websocket-driver /src/websocket-driver
 RUN git clone https://git.theta.eu.org/whatscl.git /src/whatscl
 ADD ./ /src/whatsxmpp