Removed Haskell setup from Docker container

Author: AlexanderSchultheiss

Dockerfile

@@ -35,26 +35,20 @@ COPY pom.xml .
 # EXAMPLE: Execute the maven package process
 RUN mvn package || exit
 
-FROM ubuntu:latest
-# ENVIRONMENT PREPARATION PHASE
-# We have to use an Ubuntu image, because Haskell and Stack are not natively supported by Alpine Linux
-
-# REQUIRED: Create a user
-RUN adduser --disabled-password --home /home/sherlock --gecos '' sherlock
-
-# Install Haskell and Stack
-RUN DEBIAN_FRONTEND="noninteractive" apt-get update -qy &&\
-    DEBIAN_FRONTEND="noninteractive" apt-get install netbase haskell-platform haskell-stack git-all -qy
-RUN stack update
-RUN stack upgrade
+FROM alpine:3.15
 
-# Install Java
-RUN DEBIAN_FRONTEND="noninteractive" apt-get install openjdk-16-jdk-headless -qy
+# Create a user
+RUN adduser --disabled-password  --home /home/sherlock --gecos '' sherlock
 
-# Install Python
-RUN DEBIAN_FRONTEND="noninteractive" apt-get install tesseract-ocr python3 python3-pip python3-numpy -qy
-RUN pip3 install --upgrade pip setuptools wheel
-RUN pip3 install matplotlib
+RUN apk add --no-cache --upgrade bash
+RUN apk add --update openjdk17
+RUN apk add --no-cache msttcorefonts-installer fontconfig
+RUN update-ms-fonts
+RUN apk add --no-cache tesseract-ocr python3 py3-pip py3-numpy && \
+    pip3 install --upgrade pip setuptools wheel && \
+    apk add --no-cache --virtual .build-deps gcc g++ zlib-dev make python3-dev py3-numpy-dev jpeg-dev && \
+    pip3 install matplotlib && \
+    apk del .build-deps
 
 # REQUIRED: Change into the home directory
 WORKDIR /home/sherlock
@@ -65,27 +59,17 @@ WORKDIR /home/sherlock/holmes
 COPY --from=0 /home/user/target/DiffDetectiveRunner.jar .
 WORKDIR /home/sherlock
 
-# Copy the haskell files
-COPY proofs proofs
-
 # Copy the setup
 COPY docs holmes/docs
 
 # Copy the plotting scripts
 COPY plotting holmes/plotting
 
-# Build the Haskell project
-## Enable printing utf-8
-ENV LANG=C.UTF-8
-WORKDIR /home/sherlock/proofs
-RUN stack build --copy-bins
-ENV PATH=="/root/.local/bin:${PATH}"
-
-WORKDIR /home/sherlock
-# REQUIRED: Copy the docker resources
+# Copy the docker resources
 COPY docker/* ./
 RUN mkdir DiffDetectiveMining
-# REQUIRED: Adjust permissions
+
+#  Adjust permissions
 RUN chown sherlock:sherlock /home/sherlock -R
 RUN chmod +x execute.sh
 RUN chmod +x entrypoint.sh

docker/execute.sh

@@ -1,10 +1,9 @@
 #! /bin/bash
 
 if [ "$1" == '' ]; then
-  echo "Either fully run DiffDetective as presented in the paper (replication), run the proofs (proofs) or a do quick setup validation (validation)."
+  echo "Either fully run DiffDetective as presented in the paper (replication) or a do quick setup validation (validation)."
   echo "-- Examples --"
   echo "Run replication: './experiment.sh replication'"
-  echo "Run proofs: './experiment.sh proofs'"
   echo "Validate the setup: './experiment.sh validation'"
   exit
 fi
@@ -25,16 +24,11 @@ if [ "$1" == 'replication' ] || [ "$1" == 'validation' ]; then
   python3 plotting/plot.py
   cp ./runtime_histogram.png ../results/ || exit
   echo "The results are located in the 'results' directory."
-elif [ "$1" == 'proofs' ]; then
-  echo "Running the proofs"
-  cd proofs || exit
-  stack run
 else
   echo "INVALID ARGUMENT: $1"
-  echo "Either fully run DiffDetective as presented in the paper (replication), run the proofs (proofs) or a do quick setup validation (validation)."
+  echo "Either fully run DiffDetective as presented in the paper (replication) or a do quick setup validation (validation)."
   echo "-- Examples --"
   echo "Run replication: './experiment.sh replication'"
-  echo "Run proofs: './experiment.sh proofs'"
   echo "Validate the setup: './experiment.sh validation'"
   exit
 fi

docs/validation.md

@@ -1,6 +1,6 @@
 Project name | Domain                  | Source code available (**y**es/**n**o)? | Is it a git repository (**y**es/**n**o)? | Repository URL                                               | Clone URL                                                        | Estimated number of commits
 ---|-------------------------|-----------------------------------------|-----------------------------------|--------------------------------------------------------------|------------------------------------------------------------------|---
+tcl | program interpreter     | y                                       | y                                 | https://github.com/tcltk/tcl                                 | https://github.com/tcltk/tcl.git                                 | 24,396
 xfig | vector graphics editor  | y                                       | y                                 | https://github.com/hhoeflin/xfig                             | https://github.com/hhoeflin/xfig.git                             | 9
-xine-lib | media library           | y                                       | y                                 | https://github.com/rpmfusion/xine-lib                        | https://github.com/rpmfusion/xine-lib.git                        | 114
 xorg-server | X server                | y                                       | y                                 | https://gitlab.freedesktop.org/xorg/xserver                  | https://gitlab.freedesktop.org/xorg/xserver.git                  | 17,786
 xterm | terminal emulator       | y                                       | y                                 | https://github.com/Maximus5/xterm                            | https://github.com/Maximus5/xterm.git                            | 112

docs/validation/validation_histogram.png

@@ -26,14 +26,6 @@ You can then build the library and run the example as follows:
 stack run
 ```
 
-### Option 2: Setup via Dockerfile
-
-#### Building the container
-To build the required container, you can follow the instructions provided in the main [INSTALL](../INSTALL.md) file.
-Afterwards, you can run the _execute_ script corresponding to your OS with `proofs` as first argument
-- Windows: `.\execute.bat proofs`
-- Linux/Mac (bash): `./execute.sh proofs`
-
 ## What Is There to See
 
 Our example executes a simple test. It: