Added Docker-Build and adapted Makefile

Author: jhoenicke

Makefile

@@ -1,18 +1,23 @@
 .PHONY : clean all test
 
 CFLAGS=-g -O3
-LDFLAGS=-static -lutil
+LDFLAGS=
+DISTFILES=SMT-COMP-2021-trace-executor.tar.gz
 
-all: smtlib2_trace_executor SMT-COMP-2020-trace-executor.tar.xz
+all: $(DISTFILES)
 
 smtlib2_trace_executor: smtlib2_trace_executor.o
 	$(CC) $< -o $@ $(LDFLAGS)
 
 clean:
-	rm -f smtlib2_trace_executor.o smtlib2_trace_executor SMT-COMP-2020-trace-executor.tar.xz
+	rm -f smtlib2_trace_executor.o smtlib2_trace_executor $(DISTFILES) test_solver_log.txt
 
-SMT-COMP-2020-trace-executor.tar.xz: starexec_run_default smtlib2_trace_executor
-	tar -cJf $@ $^
+SMT-COMP-2021-trace-executor.tar.gz: starexec_run_default smtlib2_trace_executor
+	tar -czf $@ $^
 
 test: smtlib2_trace_executor
 	test/run_tests.sh ./smtlib2_trace_executor
+
+dist: $(DISTFILES)
+	cp $(DISTFILES) /dist
+

docker/Dockerfile

@@ -0,0 +1,5 @@
+FROM centos:7
+RUN yum -y install gcc gcc-c++ make flex bison glibc-static libstdc++-static python3 cython git
+
+WORKDIR /smtcomp
+COPY ./trace-executor ./trace-executor

docker/build-docker.sh

@@ -0,0 +1,4 @@
+#!/bin/sh
+
+docker run -v $(pwd):/dist:z smtcomp make -C trace-executor dist
+docker run -v $(pwd):/dist:z smtcomp sh -c "chown $(id -u):$(id -g) /dist/*.tar.gz"

docker/create-docker.sh

@@ -0,0 +1,8 @@
+#!/bin/sh
+
+rm -rf trace-executor
+mkdir ./trace-executor
+cp -a ../[^d]* trace-executor
+make -C trace-executor clean
+
+docker build -t smtcomp .