aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 2424202..d92d7d0 100644
--- a/Makefile
+++ b/Makefile
@@ -22,12 +22,15 @@ all:
install: man
install -d -m0755 \
$(DESTDIR)$(TESTDIR) \
+ $(DESTDIR)$(SHAREDIR)/$(PROJ) \
$(DESTDIR)$(BINDIR) \
$(DESTDIR)$(MAN1DIR) \
$(DESTDIR)$(DOCDIR)
install -m0755 $(SCRIPTS) $(DESTDIR)$(BINDIR)/
sed -i 's,@PREFIX@,$(PREFIX),' $(DESTDIR)$(BINDIR)/sbopkglint
+ sed -i 's,@PREFIX@,$(PREFIX),' $(DESTDIR)$(BINDIR)/sbolint
install -m0644 sbopkglint.d/* $(DESTDIR)$(TESTDIR)/
+ install -m0644 pkglist.txt $(DESTDIR)$(SHAREDIR)/$(PROJ)
install -m0644 $(DOCS) $(DESTDIR)$(DOCDIR)/
gzip -9c < sbolint.1 > $(DESTDIR)$(MAN1DIR)/sbolint.1.gz
gzip -9c < sbopkglint.1 > $(DESTDIR)$(MAN1DIR)/sbopkglint.1.gz