1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
#!/bin/sh
# $Id$
#
# Copyright (C) 2010 SPARTA, Inc. dba Cobham Analytic Solutions
#
# Permission to use, copy, modify, and distribute this software for any
# purpose with or without fee is hereby granted, provided that the above
# copyright notice and this permission notice appear in all copies.
#
# THE SOFTWARE IS PROVIDED "AS IS" AND SPARTA DISCLAIMS ALL WARRANTIES WITH
# REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY
# AND FITNESS. IN NO EVENT SHALL SPARTA BE LIABLE FOR ANY SPECIAL, DIRECT,
# INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM
# LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE
# OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
# PERFORMANCE OF THIS SOFTWARE.
# 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 if this script
# doesn't provide a hook for your needs.
### REQUIRED SETTINGS ###
#
# You MUST configure the settings in this section for the portal-gui to be
# installed correctly.
# 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/net/subvert-rpki.hactrn.net/rpkid
# The user that the apache process is run as. This is required to set
# permissions on the directories/files that the portal-gui needs to be able to
# read/write.
WEBUSER=www
### OPTIONAL SETTINGS ###
#
# The configuration in this section allows you to tailor for you local
# environment for some common cases. You do not need to modify these unless
# you have a specific need.
# Change this path to the location of the sqlite3 database that the portal-gui
# uses to store its settings.
#DBPATH="DATABASE_PATH=/usr/local/etc/rpki/sqlite3"
# 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'
# If you want to install somehwere other than /usr/local/ uncomment and edit
# the following line
#prefix="--prefix=$HOME/opt/myrpki"
### END OF CONFIGURATION ###
./configure $prefix --with-myrpki=$MYRPKI_SOURCE_DIR WEBUSER=$WEBUSER CONFDIR=$CONFDIR \
$DBPATH $PYTHON
|
