From 788443e85d5734dc38adcb074f798eacb4c50b5b Mon Sep 17 00:00:00 2001
From: Valient Gough <vgough@pobox.com>
Date: Thu, 8 Sep 2016 21:57:20 +0200
Subject: [PATCH] revert ci removal

---
 ci/config.sh        | 5 +++++
 ci/install-cmake.sh | 7 +++++++
 ci/install-gcc.sh   | 5 +++++
 3 files changed, 17 insertions(+)
 create mode 100755 ci/config.sh
 create mode 100755 ci/install-cmake.sh
 create mode 100755 ci/install-gcc.sh

diff --git a/ci/config.sh b/ci/config.sh
new file mode 100755
index 0000000..c6c414a
--- /dev/null
+++ 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
new file mode 100755
index 0000000..6d83860
--- /dev/null
+++ 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
new file mode 100755
index 0000000..c147819
--- /dev/null
+++ 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