From 1f2c5aabd2c92cad83bbb056b85119e5d9474908 Mon Sep 17 00:00:00 2001
From: Nolan Darilek <nolan@thewordnerd.info>
Date: Fri, 5 Aug 2016 09:16:25 -0500
Subject: [PATCH] Integrate LevelDB module in preparation for building a better
 authentication plugin.

---
 .sandstorm/setup.sh | 11 ++++++++++-
 leveldb.ini         |  3 +++
 2 files changed, 13 insertions(+), 1 deletion(-)
 create mode 100644 leveldb.ini

diff --git a/.sandstorm/setup.sh b/.sandstorm/setup.sh
index 6e1735a..5de6b5e 100644
--- a/.sandstorm/setup.sh
+++ b/.sandstorm/setup.sh
@@ -4,7 +4,16 @@ set -euo pipefail
 
 export DEBIAN_FRONTEND=noninteractive
 apt-get update
-apt-get install -y nginx php5-fpm php5-cli php5-curl git php5-dev
+apt-get install -y nginx php5-fpm php5-cli php5-curl git php5-dev libleveldb-dev
+cd /usr/local/src
+git clone https://github.com/reeze/php-leveldb.git
+cd php-leveldb
+phpize
+./configure
+make
+make install
+cp /opt/app/leveldb.ini /etc/php5/mods-available
+php5enmod leveldb
 unlink /etc/nginx/sites-enabled/default
 cat > /etc/nginx/sites-available/sandstorm-php <<EOF
 server {
diff --git a/leveldb.ini b/leveldb.ini
new file mode 100644
index 0000000..5c1d98e
--- /dev/null
+++ b/leveldb.ini
@@ -0,0 +1,3 @@
+; configuration for php LevelDB module
+; priority=20
+extension=leveldb.so