revert ci removal

jetwhiz · Sep 8, 2016 · 788443e · 788443e
1 parent 4c8a978
commit 788443e
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 0 deletions.
diff --git a/ci/config.sh b/ci/config.sh
@@ -0,0 +1,5 @@
+set -x
+set -e
+mkdir build
+cd build
+cmake -DCMAKE_INSTALL_PREFIX:PATH=/tmp/encfs -DCMAKE_BUILD_TYPE=Debug -DMINIGLOG=ON ..
diff --git a/ci/install-cmake.sh b/ci/install-cmake.sh
@@ -0,0 +1,7 @@
+set -x
+set -e
+if [ ! -e ci/cmake/bin/cmake ]; then
+  wget http://www.cmake.org/files/v3.1/cmake-3.1.3-Linux-x86_64.tar.gz
+  tar -xzf cmake-3.1.3-Linux-x86_64.tar.gz
+  mv cmake-3.1.3-Linux-x86_64 ci/cmake
+fi
diff --git a/ci/install-gcc.sh b/ci/install-gcc.sh
@@ -0,0 +1,5 @@
+set -x
+set -e
+sudo apt-get install -y gcc-4.8 g++-4.8
+sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-4.8 100
+sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-4.8 100