FROM debian:jessie
MAINTAINER  Melnychenko Volodymyr <inbox@xreate.org> 

ARG LLVM_VERSION=3.8
ARG BOOST_VERSION=1.55
ARG CLASP_VERSION=95cc1182f
ARG JEAYESON_VERSION=20389e5a

ENV DEBIAN_FRONTEND=noninteractive DEBCONF_NONINTERACTIVE_SEEN=true

RUN echo "deb http://httpredir.debian.org/debian jessie-backports main" >> /etc/apt/sources.list &&\
    apt update && apt-get install -y libboost$BOOST_VERSION-dev libclang-$LLVM_VERSION-dev llvm-$LLVM_VERSION-dev \
    libtbb-dev cmake git libgtest-dev libxml2-dev \
    coco-cpp bison re2c scons g++ zlib1g-dev
#coco build dep packages: wget unzip


#       POTASSCO
WORKDIR /opt/potassco/clingo/

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

#potassco patches:
#ADD patches/potassco-patch-$CLASP_VERSION .    
#git apply potassco-patch-$CLASP_VERSION &&\

RUN scons configure --build-dir=debug &&\
    sed -i "s/, '-fvisibility=hidden'//" build/debug.py &&\
    sed -i "s/CXXFLAGS = \[\(.*\)\]/CXXFLAGS = \['-fPIC', \1\]/" 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 &&\
    sed -i "s/'-std=c++11'/'-std=c++14'/" build/debug.py &&\
    cat build/debug.py &&\
    scons --build-dir=debug
    
##sed -i "s/CXX = 'c++'/CXX = 'g++-6'/" build/debug.py &&\


#       GTEST
RUN cd /usr/src/gtest/ && cmake CMakeLists.txt && make
ENV GTEST_ROOT="/usr/src/gtest/"

#       COCO


#       XREATE
WORKDIR /opt/xreate 
RUN git clone --recursive https://pgess@bitbucket.org/pgess/xreate.git ./
ADD patches/jeayeson-patch-$JEAYESON_VERSION vendors/jeayeson/    

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