Add the scripts for the docker container

Author: shangqi-lai

Container/Dockerfile

@@ -0,0 +1,42 @@
+FROM ubuntu:16.04
+ENV USER=deploy
+ENV PASSWD=deploy
+ENV WORKDIR=SDSSE
+ENV TZ=Australia/Melbourne
+
+ARG DEBIAN_FRONTEND=noninteractive
+RUN apt update \
+    && apt install -y ssh openssh-server build-essential \
+      gcc g++ gdb gdbserver \
+      rsync \
+      sudo git \
+      flex bison \
+      libgmp-dev \
+    && apt clean
+
+RUN useradd -m ${USER} && yes ${PASSWD} | passwd ${USER}
+
+RUN echo ${USER}' ALL=(ALL) NOPASSWD:ALL' >> /etc/sudoers
+RUN chmod 644 /etc/sudoers
+
+CMD ["/usr/sbin/sshd", "-D"]
+
+USER ${USER}
+RUN mkdir -p /home/${USER}/${WORKDIR}/
+WORKDIR /home/${USER}/${WORKDIR}/
+ENV LC_ALL C.UTF-8
+
+RUN wget https://crypto.stanford.edu/pbc/files/pbc-0.5.14.tar.gz \
+    && tar zxf pbc-0.5.14.tar.gz \
+    && cd pbc-0.5.14 \
+    && ./configure \
+    && make \
+    && sudo make install && cd .. \
+    && wget https://www.openssl.org/source/openssl-1.1.0h.tar.gz \
+    && tar -zxf openssl-1.1.0h.tar.gz && cd openssl-1.1.0h \
+    && ./config \
+    && make \
+    && sudo make install && cd ..\
+    && wget https://github.com/Kitware/CMake/archive/refs/tags/v3.17.0.tar.gz \
+    && tar -zxf v3.17.0.tar.gz && cd CMake-3.17.0 \
+    && ./bootstrap && make && sudo make install

Container/docker-compose.yml

@@ -0,0 +1,29 @@
+x-defaults: &default
+  restart: unless-stopped
+  # Build from the Dockfile in the current path
+  build: .
+  volumes:
+    # mount the source code folder
+    - ..:/home/deploy/SDSSE/
+    - /tmp:/tmp
+
+services:
+  projects-dev:
+    <<: *default
+    container_name: SDSSE-dev
+    hostname: "SDSSE"
+    # Set username and work dir
+    user: deploy
+    working_dir: /home/deploy/SDSSE
+    # Enable GDB server to run
+    security_opt:
+      - seccomp:unconfined
+    cap_add:
+      - SYS_PTRACE
+    # Start ssh service
+    # Use tail -f to run the container in the background
+    command:
+      bash -c "sudo service ssh restart && tail -f /dev/null"
+    # Map 22 to 2222 in local machine
+    ports:
+      - "127.0.0.1:3333:22"