plugin/Makefile

all:
	@echo trying to use GNU make...
	@gmake all || echo please install GNUmake

source-only:
	@gmake source-only

binary-only:
	@gmake binary-only

distrib:
	@gmake distrib

man:
	@gmake man

install:
	@gmake install

document:
	@gmake document

deepclean:
	@gmake deepclean

code-format:
	@gmake code-format

help:
	@gmake help

tests:
	@gmake tests

unit:
	@gmake unit

unit_clean:
	@gmake unit_clean

clean:
	@gmake clean
rename all 'Makefile' to 'GNUmakefile', use -Werror for -flto checks 2020-04-02 12:24:39 +02:00			`all:`
Makefile: for convenience forward targets to GNUmake 2020-05-14 09:00:17 +00:00			`@echo trying to use GNU make...`
non GNU Makefiles: message when gmake is not found, gcc_plugin portability 2020-05-16 12:15:03 +02:00			`@gmake all \|\| echo please install GNUmake`
Makefile: for convenience forward targets to GNUmake 2020-05-14 09:00:17 +00:00
			`source-only:`
			`@gmake source-only`

			`binary-only:`
			`@gmake binary-only`

			`distrib:`
			`@gmake distrib`

			`man:`
			`@gmake man`

			`install:`
			`@gmake install`

			`document:`
			`@gmake document`

			`deepclean:`
			`@gmake deepclean`

			`code-format:`
			`@gmake code-format`

			`help:`
			`@gmake help`

			`tests:`
			`@gmake tests`

			`unit:`
			`@gmake unit`

			`unit_clean:`
			`@gmake unit_clean`

			`clean:`
			`@gmake clean`