Page Menu
Home
Xreate
Search
Configure Global Search
Log In
Docs
Questions
Repository
Issues
Patches
Internal API
Files
F3999939
prepare-opensuse-leap15
No One
Temporary
Actions
Download File
Edit File
Delete File
View Transforms
Subscribe
Mute Notifications
Subscribers
None
File Metadata
Details
File Info
Storage
Attached
Created
Thu, Jul 9, 3:22 AM
Size
2 KB
Mime Type
text/x-shellscript
Expires
Sat, Jul 11, 3:22 AM (1 d, 6 h)
Engine
blob
Format
Raw Data
Handle
273209
Attached To
rXR Xreate
prepare-opensuse-leap15
View Options
#!/bin/bash
# VERSIONS OF MAJOR DEPENDENCIES:
# OPENSUSE LEAP 15
# LLVM: 5.0.1
# CLANG: 5.0.1
# GCC: 7.3.1
SCRIPT=`realpath $0`
XREATE_PATH=`dirname $SCRIPT`/..
#Provide ABSOLUTE path
CLINGO_PATH=${XREATE_PATH}/build/vendors/clingo
COCO_PATH=${XREATE_PATH}/build/vendors/coco
CLASP_VERSION=95cc1182f
pause(){
read -n1 -rsp "$1 "$'Press any key to continue or Ctrl+C to exit...\n'
}
# PREREQUISITES
#
sudo zypper in \
git wget unzip make \
gcc7-c++ scons bison re2c\
llvm5-devel libboost_headers1_66_0-devel \
cmake gtest tbb-devel clang5-devel \
libxml2-devel libbsd-devel\
libboost_system1_66_0-devel libboost_filesystem1_66_0-devel
# COCO CPP
# The Compiler Generator Coco/R
# http://www.ssw.uni-linz.ac.at/coco/#CPP
#
pause "Preparing Coco.."
mkdir -p $COCO_PATH
cd $COCO_PATH
wget http://www.ssw.uni-linz.ac.at/coco/CPP/CocoSourcesCPP.zip
unzip ./CocoSourcesCPP.zip
make
# CLINGO
# A grounder and solver for logic programs.
# https://github.com/potassco/clingo
#
pause "Preparing Clingo.."
mkdir -p $CLINGO_PATH
cd $CLINGO_PATH
git clone https://github.com/potassco/clingo.git ./ &&\
git reset --hard $CLASP_VERSION
git apply $XREATE_PATH/installation/docker/patches/potassco-patch-95cc11
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
# XREATE
#
pause "Preparing Xreate.."
cd $XREATE_PATH/vendors/jeayeson
git pull
./configure
mkdir ../../build
cd ../../build
ln -s $COCO_PATH/Copyright.frame $XREATE_PATH/vendors/coco/generator/Copyright.frame
ln -s $COCO_PATH/Scanner.frame $XREATE_PATH/vendors/coco/generator/Scanner.frame
mkdir $XREATE_PATH/grammar/main $XREATE_PATH/grammar/modules
cmake -DCMAKE_BUILD_TYPE=Debug -DBUILD_XREATE_TESTS=1 -DCOCO_EXECUTABLE=$COCO_PATH/Coco -DCLINGO_PATH=$CLINGO_PATH -DCOCO_FRAMES_PATH=$XREATE_PATH/vendors/coco/generator/ -DCMAKE_CXX_COMPILER=g++ ../cpp
Event Timeline
Log In to Comment