From b7f0dfec8a1fe7f9aa6e4a18947812c4a4524762 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Sun, 28 Feb 2016 22:27:07 +0100
Subject: add old deployment scripts

---
 build_mint.sh | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100755 build_mint.sh

(limited to 'build_mint.sh')

diff --git a/build_mint.sh b/build_mint.sh
new file mode 100755
index 0000000..8f14aa7
--- /dev/null
+++ b/build_mint.sh
@@ -0,0 +1,15 @@
+#!/bin/bash
+
+set -eu
+
+cd $HOME/mint
+make clean || true
+./bootstrap
+./configure CFLAGS='-ggdb -O0' \
+        --with-libgnurl=$HOME/local \
+        --with-microhttpd=$HOME/local \
+	--prefix=$HOME/local --with-gnunet=$HOME/local \
+	--enable-logging=verbose
+make
+make install
+
-- 
cgit v1.2.3