Makefile.uk: Use -Wno-cast-function-type for GCC >= 8

The build option `-Wno-cast-function-type`, used in `Makefile.uk` is
available from GCC >= 8. When used in GCC <= 7, it issues a warning.

This commit updates the build flags to enable `-Wno-cast-function-type`
only when using GCC >= 8.

GitHub-Fixes: #27

Signed-off-by: Razvan Deaconescu <razvand@unikraft.io>
Reviewed-by: Stefan Jumarea <stefanjumarea02@gmail.com>
Approved-by: Cezar Craciunoiu <cezar.craciunoiu@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #28

diff --git a/Makefile.uk b/Makefile.uk
index 16de24c91e82150214b6dcdc1b6931f9d6b6e406..866046b749bf99e84b6cb21b4bdbc5356ca312b9 100644 (file)
--- a/Makefile.uk
+++ b/Makefile.uk
@@ -122,7 +122,7 @@ LIBMUSL_CFLAGS-y += -Wno-empty-body
 LIBMUSL_CFLAGS-y += -Wno-maybe-uninitialized
 LIBMUSL_CFLAGS-y += -Wno-unknown-pragmas
 LIBMUSL_CFLAGS-y += -Wno-missing-braces
-LIBMUSL_CFLAGS-y += -Wno-cast-function-type
+LIBMUSL_CFLAGS-$(call gcc_version_ge,8,0) += -Wno-cast-function-type
 LIBMUSL_CFLAGS-y += -Wno-format-contains-nul
 LIBMUSL_CFLAGS-y += -Wno-type-limits
 LIBMUSL_CFLAGS-y += -DUK_LIBC_SYSCALL=0