diff options
author | Rob Austein <sra@hactrn.net> | 2013-04-24 04:05:18 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2013-04-24 04:05:18 +0000 |
commit | 5f1b337333259b0a52e43b5f8907dd314189a7e7 (patch) | |
tree | 84f8e1498003a43af458664bf0688d44dc54690a | |
parent | 818d7eb935f0cfac21561c7f24e50eea44bec47a (diff) |
Start fleshing out install-postconf target, now that we have a halfway sane version of rpki-sql-setup.
svn path=/trunk/; revision=5307
-rw-r--r-- | rpkid/Makefile.in | 32 |
1 files changed, 20 insertions, 12 deletions
diff --git a/rpkid/Makefile.in b/rpkid/Makefile.in index 01fef3ed..fa20fa53 100644 --- a/rpkid/Makefile.in +++ b/rpkid/Makefile.in @@ -77,6 +77,8 @@ install-always:: all @echo @echo "== Default configuration file location is ${sysconfdir}/rpki.conf ==" @echo + ${INSTALL} examples/rpki.conf ${DESTDIR}${sysconfdir}/rpki.conf.sample + ${INSTALL} -d ${DESTDIR}${datarootdir}/rpki/publication uninstall deinstall:: xargs rm -fv <installed @@ -168,10 +170,6 @@ examples/rpki.conf: rpki/autoconf.py rpki-confgen rpki-confgen.xml --pwgen web_portal::secret-key \ --write-conf $@ -install-always:: - ${INSTALL} examples/rpki.conf ${DESTDIR}${sysconfdir}/rpki.conf.sample - ${INSTALL} -d ${DESTDIR}${datarootdir}/rpki/publication - clean:: rm -f examples/rpki.conf @@ -202,7 +200,7 @@ clean:: rm -f setup_autoconf.py setup_autoconf.pyc install-postconf: \ - install-user install-apache install-mysql install-bpki install-django install-cron + install-user install-conf install-apache install-mysql install-bpki install-django install-cron # This should create user "rpkid" and group "rpkid", but as we have # not yet tested our ability to run in such a configuration, this @@ -211,6 +209,19 @@ install-postconf: \ install-user: @true +# This should copy rpki.conf.sample to rpki.conf if the latter doesn't +# exist. We also need a deinstallation rule to cover this, following +# the FreeBSD convention that we deinstall the .conf if and only if +# it's identical to the .conf.sample. +install-conf: ${DESTDIR}${sysconfdir}/rpki.conf + +${DESTDIR}${sysconfdir}/rpki.conf: ${DESTDIR}${sysconfdir}/rpki.conf.sample + cp -p ${DESTDIR}${sysconfdir}/rpki.conf.sample $@ + +deinstall:: + if cmp -s ${DESTDIR}${sysconfdir}/rpki.conf ${DESTDIR}${sysconfdir}/rpki.conf.sample; then rm -f ${DESTDIR}${sysconfdir}/rpki.conf; else true; fi + rm -f ${DESTDIR}${sysconfdir}/rpki.conf.sample + # This needs to do whatever is needed to get the web UI configured # under Apache on this platform. Likely to be an awful mess, see # Ubuntu rpki-ca.postinst for details. @@ -221,17 +232,14 @@ install-apache: # that to avoid prompting us for the SQL root password when we don't # really need it. install-mysql: - @true -# ${sbindir}/rpki-sql-setup + ${sbindir}/rpki-sql-setup install-bpki: - @true -# ${sbindir}/rpkic initialize_server_bpki + ${sbindir}/rpkic initialize_server_bpki install-django: - @true -# ${sbindir}/rpki-manage syncdb --noinput -# ${sbindir}/rpki-manage migrate app + ${sbindir}/rpki-manage syncdb --noinput + ${sbindir}/rpki-manage migrate app # This needs to set up crontab entries for rpkigui-check-expired, # rpkigui-import-routes, and rpkic update_bpki. They probably don't |