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