From 02dff26557e0bb988a3024231bbba5fab261bfc8 Mon Sep 17 00:00:00 2001
From: Nicola Fontana <ntd@entidi.it>
Date: Thu, 22 Mar 2012 19:48:06 +0100
Subject: [PATCH] build: added custom script for configuring a home build

Just for reference purpose (and because I'm lazy).
---
 Makefile.am          | 3 ++-
 build/configure-home | 9 +++++++++
 2 files changed, 11 insertions(+), 1 deletion(-)
 create mode 100755 build/configure-home

diff --git a/Makefile.am b/Makefile.am
index bf633cb..ff89c89 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -9,7 +9,8 @@ EXTRA_DIST=			COPYING \
 				NEWS \
 				README \
 				THANKS \
-				$(BUILT_SOURCES)
+				$(BUILT_SOURCES) \
+				build/configure-home
 
 SUBDIRS=			cpml \
 				adg \
diff --git a/build/configure-home b/build/configure-home
new file mode 100755
index 0000000..223797a
--- /dev/null
+++ b/build/configure-home
@@ -0,0 +1,9 @@
+#! /bin/sh
+# A bare script to configure a typical home build.
+
+basedir="$(dirname $0)"
+
+$basedir/../configure \
+	--with-lua-includedir=$HOME/lua/include \
+	--with-lua-lmoduledir=$HOME/lua/share/lua/5.1 \
+	--with-lua-cmoduledir=$HOME/lua/lib/lua/5.1
-- 
2.11.4.GIT