install-dependencies-opensuse
No OneTemporary
Actions

Subscribers

None

File Metadata

	#!/bin/sh
	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-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
	scons --build-dir=debug

	sed -i "s/CXXFLAGS = \[$.*$\]/CXXFLAGS = \['-fPIC', \1\]/" build/release.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