File Metadata

View Options

	diff --git a/installation/docker/Dockerfile b/installation/docker/Dockerfile
	index a6d83fb..115ffe5 100644
	--- a/installation/docker/Dockerfile
	+++ b/installation/docker/Dockerfile
	@@ -1,39 +1,39 @@
	FROM opensuse-tumbleweed
	MAINTAINER Melnychenko Volodymyr <inbox@xreate.org>

	ARG CLANG_VERSION=3_8
	ARG BOOST_VERSION=_1_61
	ARG CLASP_VERSION=a363d9

	RUN zypper in -y \
	boost$BOOST_VERSION-devel clang$CLANG_VERSION-devel llvm$CLANG_VERSION-gold gcc6-c++ \
	tbb-devel cmake git bison re2c scons unzip libgtest0 googletest-devel libxml2-devel wget

	## COCO
	WORKDIR /opt/coco-cpp
	RUN wget http://www.ssw.uni-linz.ac.at/Coco/CPP/CocoSourcesCPP.zip &&\
	unzip ./CocoSourcesCPP.zip &&\
	g++-6 *.cpp -o Coco -g -Wall

	# POTASSCO
	WORKDIR /opt/potassco/clingo/

	RUN git clone https://github.com/potassco/clingo.git ./ &&\
	git reset --hard $CLASP_VERSION

	ADD patches/potassco-patch-$CLASP_VERSION .
	RUN git apply potassco-patch-$CLASP_VERSION &&\
	scons configure --build-dir=debug &&\
	sed -i "s/CXXFLAGS = \[$.*$\]/CXXFLAGS = \['-fPIC', \1\]/" build/debug.py &&\
	sed -i "s/CXX = 'c++'/CXX = 'g++-6'/" build/debug.py &&\
	sed -i "s/WITH_LUA = 'auto'/WITH_LUA = None/" build/debug.py &&\
	sed -i "s/WITH_PYTHON = 'auto'/WITH_PYTHON = None/" build/debug.py &&\
	cat build/debug.py &&\
	scons --build-dir=debug
	# sed -i "s/'-std=c++11'/'-std=c++14'/" build/debug.py

	# XREATE
	WORKDIR /opt/xreate-build
	RUN git clone https://pgess@bitbucket.org/pgess/xreate.git ../xreate &&\
	cmake -DBUILD_XREATE_TESTS=1 ../xreate/cpp &&\
	- make -j4
	+ make -j4 VERBOSE=1