diff options
Diffstat (limited to 'build/Makefile.plugins')
| -rw-r--r-- | build/Makefile.plugins | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/build/Makefile.plugins b/build/Makefile.plugins index 79e3ce44..cb48d417 100644 --- a/build/Makefile.plugins +++ b/build/Makefile.plugins @@ -1,5 +1,17 @@ -all install uninstall clean distclean: +include build/Makefile.incl + +all clean distclean: + @$(MAKE) -$(MAKEFLAGS) -f build/Makefile.plugins.resistance $@ + @$(MAKE) -$(MAKEFLAGS) -f build/Makefile.plugins.placement $@ + +install: + @$(MAKE) -$(MAKEFLAGS) -f build/Makefile.plugins.resistance $@ + @$(MAKE) -$(MAKEFLAGS) -f build/Makefile.plugins.placement $@ + $(LIBTOOL) --mode=finish $(DESTDIR)$(plugindir) + +uninstall: @$(MAKE) -$(MAKEFLAGS) -f build/Makefile.plugins.resistance $@ @$(MAKE) -$(MAKEFLAGS) -f build/Makefile.plugins.placement $@ + -rmdir $(DESTDIR)$(plugindir) .PHONY: all clean distclean install uninstall |