From 6b69cd2e574fbcea79b7322c443841292f220d82 Mon Sep 17 00:00:00 2001 From: hexcoder- Date: Thu, 14 May 2020 09:00:17 +0000 Subject: [PATCH] Makefile: for convenience forward targets to GNUmake --- Makefile | 42 +++++++++++++++++++++++++++++++++++++++++- 1 file changed, 41 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 0b306dde..08dd29d7 100644 --- a/Makefile +++ b/Makefile @@ -1,2 +1,42 @@ all: - @echo please use GNU make, thanks! + @echo trying to use GNU make... + @gmake all + +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