From f559c4ebe4249c92c078b884b67aaf4634c1beb8 Mon Sep 17 00:00:00 2001
From: rschoene <rene.schoene@tu-dresden.de>
Date: Mon, 11 Apr 2016 13:43:27 +0200
Subject: [PATCH] Added docker image.

---
 docker/Dockerfile           | 37 +++++++++++++++++++++++++++++++++++++
 docker/easy-install-racr.sh |  4 ++++
 2 files changed, 41 insertions(+)
 create mode 100644 docker/Dockerfile
 create mode 100644 docker/easy-install-racr.sh

diff --git a/docker/Dockerfile b/docker/Dockerfile
new file mode 100644
index 0000000..101403a
--- /dev/null
+++ b/docker/Dockerfile
@@ -0,0 +1,37 @@
+FROM fedora:latest
+MAINTAINER rschoene <rene.schoene@tu-dresden.de>
+
+# Install basic programs
+RUN dnf update -y && dnf install -y git \
+ python \
+ fabric \
+ curl \
+ tar
+##&& rm -rf /var/lib/apt/lists/*
+
+# Install racket
+RUN curl -L -o /racket-install.sh https://mirror.racket-lang.org/installers/6.4/racket-6.4-x86_64-linux-debian-squeeze.sh
+RUN chmod u+rx /racket-install.sh
+RUN /racket-install.sh --unix-style
+
+# Create known_hosts
+RUN mkdir /root/.ssh/
+RUN touch /root/.ssh/known_hosts
+# Add bitbuckets key
+RUN ssh-keyscan github.com >> /root/.ssh/known_hosts
+
+# Clone RACR repo
+RUN git clone https://github.com/christoff-buerger/racr.git
+# Clone project repo
+RUN git clone https://github.com/rene-schoene/racr-mquat.git
+
+# Install RACR
+ADD easy-install-racr.sh /racr/easy-install-racr.sh
+WORKDIR /racr/
+RUN chmod u+rx ./easy-install-racr.sh
+RUN ./easy-install-racr.sh
+
+# Prepare racr-mquat
+WORKDIR /racr-mquat/
+RUN sed -i -e 's|RACR_HOME = .*|RACR_HOME = "/racr/racr/"|' -e 's|PROGRAM_HOME = .*|PROGRAM_HOME = "/racr-mquat/"|' constants.py
+RUN fab install.racket
diff --git a/docker/easy-install-racr.sh b/docker/easy-install-racr.sh
new file mode 100644
index 0000000..9d15839
--- /dev/null
+++ b/docker/easy-install-racr.sh
@@ -0,0 +1,4 @@
+rm -rf "racr/racket-bin"
+mkdir -p "racr/racket-bin/racr"
+plt-r6rs ++path "/racr/racr/racket-bin" --install --collections "/racr/racr//racket-bin" "/racr/racr/core.scm"
+plt-r6rs ++path "/racr/racr/racket-bin" --install --collections "/racr/racr//racket-bin" "/racr/racr/testing.scm"
-- 
GitLab