Page Menu
Home
Xreate
Search
Configure Global Search
Log In
Docs
Questions
Repository
Issues
Patches
Internal API
Files
F2731307
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
Sat, Mar 14, 4:33 AM
Size
6 KB
Mime Type
text/x-diff
Expires
Mon, Mar 16, 4:33 AM (1 d, 14 h)
Engine
blob
Format
Raw Data
Handle
243947
Attached To
rXR Xreate
View Options
diff --git a/.gitignore b/.gitignore
index eb89f3c..870c5b5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,92 +1,91 @@
# Compiled Object files
*.slo
*.lo
*.o
*.obj
# Compiled Dynamic libraries
*.so
*.so.*
*.dylib
*.dll
# Compiled Static libraries
*.lai
*.la
*.a
*.lib
# Executables
*.exe
*.out
*.app
*.class
# Mobile Tools for Java (J2ME)
.mtj.tmp/
# Package Files #
*.jar
*.war
*.ear
# virtual machine crash logs, see http://www.java.com/en/download/help/error_hotspot.xml
hs_err_pid*
# Qt-es
/.qmake.cache
/.qmake.stash
*.pro.user
*.pro.user.*
*.moc
moc_*.cpp
qrc_*.cpp
ui_*.h
Makefile*
*-build-*
# QtCreator
*.autosave
coco/*.old
coco/*~
*~
cpp/build-*/*
cpp/xreate-debug/*
cpp/xreate-release/*
cpp/.idea
CMakeLists.txt.user
cmake_install.cmake
project/*
nb*.xml
.*
target/*
/tools/phabricator/xreate-frontend/nbproject/private/
documentation/trash4/
trash/
CMakeFiles/
gen-cpp/
generated-cpp/
gen-php/
generated-js/
books/
build/
coco/Parser.*
coco/Scanner.*
cpp/src/compilation/latecontextcompiler.cpp
cpp/src/compilation/latecontextcompiler.h
cpp/src/pass/environmenttestspass.cpp
cpp/src/pass/environmenttestspass.h
cpp/src/query/ptrvalid.cpp
cpp/src/query/ptrvalid.h
cpp/tests/deferred/
cpp/tests/vendorAPI/
-installation/
scripts/metatests/
tools/phabricator/administration/
diff --git a/installation/docker/Dockerfile b/installation/docker/Dockerfile
deleted file mode 100644
index 731d7c4..0000000
--- a/installation/docker/Dockerfile
+++ /dev/null
@@ -1,45 +0,0 @@
-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
diff --git a/installation/docker/Dockerfile-debian b/installation/docker/Dockerfile-debian
new file mode 100644
index 0000000..23437b6
--- /dev/null
+++ b/installation/docker/Dockerfile-debian
@@ -0,0 +1,58 @@
+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
diff --git a/installation/install-dependencies-opensuse b/installation/install-dependencies-opensuse
deleted file mode 100755
index eed90af..0000000
--- a/installation/install-dependencies-opensuse
+++ /dev/null
@@ -1,50 +0,0 @@
-#!/bin/sh
-#
-#LLVM 3.8
-#Boost 61
-#c++ 6.1.1
-#clasp: a363d9
-
-CURRENT_DIR=$PWD
-
-sudo zypper in tbb-devel cmake llvm-devel llvm-clang-devel git bison re2c scons unzip gcc-c++ libgtest0 googletest-devel boost_1_61-devel libxml2-devel
-
-# COCO
-mkdir /opt/coco-cpp/
-cd /opt/coco-cpp/
-if [ ! -f ./CocoSourcesCPP.zip ]; then
- wget http://www.ssw.uni-linz.ac.at/Coco/CPP/CocoSourcesCPP.zip
- unzip ./CocoSourcesCPP.zip
-fi
-
-g++ *.cpp -o Coco -g -Wall
-
-# POTASSCO
-mkdir /opt/potassco/
-cd /opt/potassco/
-git clone https://github.com/potassco/clingo.git
-cd clingo
-sed -i "s/CXXFLAGS = \[\(.*\)\]/CXXFLAGS = \['-fPIC', \1\]/" build/debug.py
-sed -i "s/CXX = 'c++'/CXX = 'g++-6'/" build/debug.py
-sed -i "s/'-std=c++11'/'-std=c++14'/" build/debug.py
-
-scons --build-dir=debug
-
-sed -i "s/CXXFLAGS = \[\(.*\)\]/CXXFLAGS = \['-fPIC', \1\]/" build/release.py
-sed -i "s/CXX = 'c++'/CXX = 'g++-6'/" build/release.py
-sed -i "s/'-std=c++11'/'-std=c++14'/" build/debug.py
-scons --build-dir=release
-
-
-cd $CURRENT_DIR
-mkdir ./build/xreate-tests-debug
-cd ./build/xreate-tests-debug
-cmake -DBUILD_XREATE_TESTS=1 -build ../../cpp
-
-make -j2
-
-
-
-
-
-
Event Timeline
Log In to Comment