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 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