Page Menu
Home
Xreate
Search
Configure Global Search
Log In
Docs
Questions
Repository
Issues
Patches
Internal API
Files
F2718212
Dockerfile-debian
No One
Temporary
Actions
View File
Edit File
Delete File
View Transforms
Subscribe
Mute Notifications
Subscribers
None
File Metadata
Details
File Info
Storage
Attached
Created
Sun, Feb 15, 5:54 PM
Size
1 KB
Mime Type
text/plain
Expires
Tue, Feb 17, 5:54 PM (1 d, 18 h)
Engine
blob
Format
Raw Data
Handle
237803
Attached To
rXR Xreate
Dockerfile-debian
View Options
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
Event Timeline
Log In to Comment