From 008fcd889e862f1d378d331dab51b3d3ce9d9f3c Mon Sep 17 00:00:00 2001 From: Jos Dehaes Date: Wed, 23 Aug 2023 16:05:00 +0200 Subject: [PATCH] also add g++13 --- Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile b/Makefile index 13e3567..01e98d5 100644 --- a/Makefile +++ b/Makefile @@ -59,6 +59,8 @@ ifeq ($(CLANG_WORKS),false) #? Try to find a newer GCC version ifeq ($(shell command -v g++-13 >/dev/null; echo $$?),0) CXX := g++-13 + else ifeq ($(shell command -v g++13 >/dev/null; echo $$?),0) + CXX := g++13 else ifeq ($(shell command -v g++-12 >/dev/null; echo $$?),0) CXX := g++-12 else ifeq ($(shell command -v g++12 >/dev/null; echo $$?),0)