diff options
Diffstat (limited to 'extensions/Makefile')
| -rw-r--r-- | extensions/Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/extensions/Makefile b/extensions/Makefile index f94efc01..00ae4042 100644 --- a/extensions/Makefile +++ b/extensions/Makefile @@ -49,9 +49,10 @@ gripd: gripd_install: install -d $(helpdir) install -d $(objectsdir) - install -p $(extensions_src)/gripd/*.$(EXTENSION) \ - $(extensions_src)/gripd/*.so \ - $(objectsdir) +# it doesn't compile automatically yet <hans@at.or.at> +# install -p $(extensions_src)/gripd/*.$(EXTENSION) \ +# $(extensions_src)/gripd/*.so \ +# $(objectsdir) install -p $(extensions_src)/gripd/examples/gripd.pd \ $(helpdir)/gripd-help.pd # install -d $(manualsdir)/$(GRIPD_NAME) |