X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=gdax-orderbook-hpp%2Fdemo%2Fdependencies%2Flibcds-2.3.2%2Fbuild%2FCI%2FVASEx-CI%2Fci-build;fp=gdax-orderbook-hpp%2Fdemo%2Fdependencies%2Flibcds-2.3.2%2Fbuild%2FCI%2FVASEx-CI%2Fci-build;h=02e8cce1c800c06cfe92da8b42ab0ed84f85a33f;hb=4223430d9168223029c7639149025c79e69b4f37;hp=0000000000000000000000000000000000000000;hpb=7ea7751a31c0388bf888052517be181a2989b113;p=c11concurrency-benchmarks.git

diff --git a/gdax-orderbook-hpp/demo/dependencies/libcds-2.3.2/build/CI/VASEx-CI/ci-build b/gdax-orderbook-hpp/demo/dependencies/libcds-2.3.2/build/CI/VASEx-CI/ci-build
new file mode 100755
index 0000000..02e8cce
--- /dev/null
+++ b/gdax-orderbook-hpp/demo/dependencies/libcds-2.3.2/build/CI/VASEx-CI/ci-build
@@ -0,0 +1,71 @@
+#! /bin/bash
+
+# Useful envvars:
+# CI_SCRIPT_PATH - path where to find scripts
+# TOOLSET - toolset: x64-gcc-5, x64-clang-3.9 and so on
+# BUILD_TYPE - build type: 'dbg', 'rel', 'asan', 'tsan'
+# WORKSPACE - path where to build
+
+env|sort
+
+case "$TOOLSET" in
+    "x64-gcc-4.8")
+	echo "GCC-4.8 '$BUILD_TYPE', toolset root: $GCC48_ROOT"
+	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-gcc-4.8-64 $*
+	exit $?
+	;;
+    "x64-gcc-4.9")
+	echo "GCC-4.9 '$BUILD_TYPE', toolset root: $GCC49_ROOT"
+	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-gcc-4.9-64 $*
+	exit $?
+	;;
+    "x64-gcc-5")
+	echo "GCC-5 '$BUILD_TYPE', toolset root: $GCC5_ROOT"
+	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-gcc-5-64 $*
+	exit $?
+	;;
+    "x64-gcc-6")
+	echo "GCC-6 '$BUILD_TYPE', toolset root: $GCC6_ROOT"
+	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-gcc-6-64 $*
+	exit $?
+	;;
+    "x64-gcc-7")
+	echo "GCC-7 '$BUILD_TYPE', toolset root: $GCC7_ROOT"
+	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-gcc-7-64 $*
+	exit $?
+	;;
+    "x64-clang-3.6")
+	echo "clang-3.6 '$BUILD_TYPE', toolset root: $CLANG36_ROOT"
+	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-clang-3.6-64 $*
+	exit $?
+	;;
+    "x64-clang-3.7")
+	echo "clang-3.7 '$BUILD_TYPE', toolset root: $CLANG37_ROOT"
+	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-clang-3.7-64 $*
+	exit $?
+	;;
+    "x64-clang-3.8")
+	echo "clang-3.8 '$BUILD_TYPE', toolset root: $CLANG38_ROOT"
+	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-clang-3.8-64 $*
+	exit $?
+	;;
+    "x64-clang-3.9")
+	echo "clang-3.9 '$BUILD_TYPE', toolset root: $CLANG39_ROOT"
+	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-clang-3.9-64 $*
+	exit $?
+	;;
+    "x64-clang-4")
+	echo "clang-4 '$BUILD_TYPE', toolset root: $CLANG4_ROOT"
+	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-clang-4-64 $*
+	exit $?
+	;;
+    "x64-clang-5")
+	echo "clang-5 '$BUILD_TYPE', toolset root: $CLANG5_ROOT"
+	$CI_SCRIPT_PATH/ci-script/cds-$BUILD_TYPE-clang-5-64 $*
+	exit $?
+	;;
+    * )
+	echo "Undefined toolset '$TOOLSET'"
+	exit 1
+	;;
+esac