From 7c26e04d89406d7af06d2ad2c951d9d50a797cf0 Mon Sep 17 00:00:00 2001
From: Rob Austein <sra@hactrn.net>
Date: Thu, 20 Jan 2011 19:59:13 +0000
Subject: Generate Python executables during compilation rather than from
 ./configure.  Change (almost) all programs to use rpki.conf instead of
 separate config files for each program, and add support for
 ${prefix}/etc/rpki.conf like normal system programs.

svn path=/buildtools/make-python-executable.py; revision=3620
---
 buildtools/make-python-executable.py | 38 ++++++++++++++++++++++++++++++++++++
 1 file changed, 38 insertions(+)
 create mode 100644 buildtools/make-python-executable.py

(limited to 'buildtools/make-python-executable.py')

diff --git a/buildtools/make-python-executable.py b/buildtools/make-python-executable.py
new file mode 100644
index 00000000..eeb31e39
--- /dev/null
+++ b/buildtools/make-python-executable.py
@@ -0,0 +1,38 @@
+"""
+Convert a Python script into an executable Python script.  Mostly this
+means constructing a header based on a few parameters supplied by
+autoconf.
+
+$Id$
+
+Copyright (C) 2011  Internet Systems Consortium ("ISC")
+
+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 ISC DISCLAIMS ALL WARRANTIES WITH
+REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY
+AND FITNESS.  IN NO EVENT SHALL ISC 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.
+"""
+
+import os, sys
+
+sys.stdout.write('''\
+#!%(AC_PYTHON_INTERPRETER)s
+# Automatically constructed script header
+
+# Set location of global rpki.conf file
+if __name__ == "__main__":
+  import rpki.config
+  rpki.config.default_dirname = "%(AC_RPKI_CONFIG_DIR)s"
+
+# Original script starts here
+
+''' % os.environ)
+
+sys.stdout.write(sys.stdin.read())
-- 
cgit v1.2.3