diff options
Diffstat (limited to 'extensions/Makefile')
-rw-r--r-- | extensions/Makefile | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/extensions/Makefile b/extensions/Makefile index 017b1064..97f7b690 100644 --- a/extensions/Makefile +++ b/extensions/Makefile @@ -44,10 +44,13 @@ gripd_install ix_install # GRIPD GRIPD_NAME = gripd gripd: - + make -C $(extensions_src)/gripd/src -f Makefile.Linux all gripd_install: install -d $(helpdir) + install -p $(extensions_src)/gripd/*.$(EXTENSION) \ + $(extensions_src)/gripd/*.so \ + $(externalsdir)/$(GRIPD_NAME) install -p $(extensions_src)/gripd/examples/gripd.pd \ $(helpdir)/gripd-help.pd # install -d $(manualsdir)/$(GRIPD_NAME) @@ -58,6 +61,10 @@ gripd_install: $(examplesdir)/$(GRIPD_NAME) +gripd_clean: + make -C $(extensions_src)/gripd/src clean + + #------------------------------------------------------------------------------# # IX |