diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 9 | 
1 files changed, 5 insertions, 4 deletions
| @@ -20,14 +20,15 @@ all:  	@echo "Use 'make install PREFIX=<path>' to install $(PROJ)."  install: man -	install -d -oroot -groot -m0755 \ +	install -d -m0755 \  		$(DESTDIR)$(TESTDIR) \  		$(DESTDIR)$(BINDIR) \  		$(DESTDIR)$(MAN1DIR) \  		$(DESTDIR)$(DOCDIR) -	install -oroot -groot -m0755 $(SCRIPTS) $(DESTDIR)$(BINDIR)/ -	install -oroot -groot -m0644 sbopkglint.d/* $(DESTDIR)$(TESTDIR)/ -	install -oroot -groot -m0644 $(DOCS) $(DESTDIR)$(DOCDIR)/ +	install -m0755 $(SCRIPTS) $(DESTDIR)$(BINDIR)/ +	sed -i 's,@PREFIX@,$(PREFIX),' $(DESTDIR)$(BINDIR)/sbopkglint +	install -m0644 sbopkglint.d/* $(DESTDIR)$(TESTDIR)/ +	install -m0644 $(DOCS) $(DESTDIR)$(DOCDIR)/  	gzip -9c < sbolint.1 > $(DESTDIR)$(MAN1DIR)/sbolint.1.gz  	gzip -9c < sbopkglint.1 > $(DESTDIR)$(MAN1DIR)/sbopkglint.1.gz | 
