1 files changed, 29 insertions, 0 deletions
diff --git a/portal-gui/build.sh b/portal-gui/build.sh
new file mode 100755
index 00000000..48f762e3
--- /dev/null
+++ b/portal-gui/build.sh
@@ -0,0 +1,29 @@
+#!/bin/sh
+# $Id$
+#
+# Since using the configure script to build the portal-gui can be somewhat
+# challenging, this script can be used to simplify the process.  You may
+# need to tailor the configure command to be run at the end.
+
+# Change this path to the location of the sqlite3 database that the portal-gui
+# uses to store its settings.
+DATABASE_PATH=/usr/local/share/portal-gui/myrpki.db
+
+# This is the directory under which the subdirectories for each hosted RPKI
+# resource handle live.  Note that is is *not* the directory containing your
+# myrpki.conf.
+CONFDIR=/usr/local/etc/rpki
+
+# This is the directory containing the myrpki.py command line script.  You
+# can either install it somewhere on your system, or just run it out of
+# wherever you checked out from the svn repo
+MYRPKI_SOURCE_DIR=/usr/local/src/subvert-rpki.hactrn.net/rpkid
+
+# If your preferred python interpreter is not in /usr/bin, you need to specify
+# the full path here
+#PYTHON='--with-python=/usr/local/bin/python'
+
+### END OF CONFIGURATION ###
+
+./configure --with-myrpki=$MYRPKI_SOURCE_DIR CONFDIR=$CONFDIR \
+	DATABASE_PATH=$DATABASE_PATH $PYTHON