Dockerfile
No OneTemporary
Actions

Subscribers

None

File Metadata

	FROM opensuse-tumbleweed
	MAINTAINER Melnychenko Volodymyr <inbox@xreate.org>

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

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

	## 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
	RUN git clone --recursive https://pgess@bitbucket.org/pgess/xreate.git ./

	RUN cd vendors/jeayeson/ &&\
	./configure &&\
	mkdir ../../build &&\
	cd ../../build &&\
	cmake -DBUILD_XREATE_TESTS=1 ../cpp &&\
	make -j4 VERBOSE=1