diff options
| author | Michael Elkins <melkins@tislabs.com> | 2013-03-26 23:47:07 +0000 |
|---|---|---|
| committer | Michael Elkins <melkins@tislabs.com> | 2013-03-26 23:47:07 +0000 |
| commit | 7112ed6d4ee0dbe2cd3cf3ec365f37958999934b (patch) | |
| tree | 4c6747fa5d9bc3715e1c562199292aa72ed0fc11 | |
| parent | 1bff0ba0d5d4521181221220a0b20b424023af35 (diff) | |
auto generate rpki.gui.autoconf with the expansions of all the standard variables so they can be accessed by other modules
svn path=/trunk/; revision=5235
| -rw-r--r-- | rpkid/Makefile.in | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/rpkid/Makefile.in b/rpkid/Makefile.in index d548b8b0..5e05afd4 100644 --- a/rpkid/Makefile.in +++ b/rpkid/Makefile.in @@ -70,7 +70,8 @@ SCRIPTS = rpki-sql-backup rpki-sql-setup rpki-start-servers irbe_cli irdbd \ BUILD_SCRIPTS = portal-gui/scripts/rpkigui-reset-demo \ portal-gui/scripts/rpkigui-flatten-roas \ portal-gui/scripts/rpkigui-sync-users \ - portal-gui/rpki.wsgi + portal-gui/rpki.wsgi \ + rpki/gui/autoconf.py # these files get put in ${datarootdir}/rpki DATA_FILES = portal-gui/routeviews.sh @@ -299,3 +300,12 @@ portal-gui/scripts/rpki-manage: ${srcdir}/portal-gui/scripts/rpki-manage.in -e "s|@PYTHON""PATH@|${sysconfdir}/rpki|" \ ${srcdir}/portal-gui/scripts/rpki-manage.in > portal-gui/scripts/rpki-manage chmod 755 $@ + +rpki/gui/autoconf.py: Makefile + (echo '# automatically generated. DO NOT EDIT.'; \ + echo 'bindir="${bindir}"'; \ + echo 'datarootdir="${datarootdir}"'; \ + echo 'localstatedir="${localstatedir}"'; \ + echo 'sbindir="${sbindir}"'; \ + echo 'sharedstatedir="${sharedstatedir}"'; \ + echo 'sysconfdir="${sysconfdir}"') > $@ |