diff options
Diffstat (limited to 'utils/print_rpki_manifest/Makefile.in')
| -rw-r--r-- | utils/print_rpki_manifest/Makefile.in | 21 |
1 files changed, 19 insertions, 2 deletions
diff --git a/utils/print_rpki_manifest/Makefile.in b/utils/print_rpki_manifest/Makefile.in index 04b42187..843c9db9 100644 --- a/utils/print_rpki_manifest/Makefile.in +++ b/utils/print_rpki_manifest/Makefile.in @@ -10,6 +10,20 @@ CFLAGS = @CFLAGS@ LDFLAGS = @LDFLAGS@ LIBS = @LIBS@ +INSTALL = @INSTALL@ -m 555 + +prefix = @prefix@ +exec_prefix = @exec_prefix@ +datarootdir = @datarootdir@ +datadir = @datadir@ +localstatedir = @localstatedir@ +sharedstatedir = @sharedstatedir@ +sysconfdir = @sysconfdir@ +bindir = @bindir@ +sbindir = @sbindir@ +libexecdir = @libexecdir@ +libdir = @libdir@ + abs_top_srcdir = @abs_top_srcdir@ abs_top_builddir = @abs_top_builddir@ @@ -27,8 +41,11 @@ test: all -date -u +'now: %Y%m%d%H%M%SZ' if test -d ${MANIFEST_DIR}; then find ${MANIFEST_DIR} -type f -name '*.mnf' -print -exec ./${BIN} {} \; ; else :; fi -install deinstall uninstall: - @true +install: all + ${INSTALL} ${BIN} ${bindir} + +deinstall uninstall: + rm -f ${bindir}/${BIN} distclean: clean rm -f Makefile |