From c0a86cc5565d065671ace2e55546fab669ffe4b2 Mon Sep 17 00:00:00 2001 From: DaniAndTheWeb <57776841+DaniAndTheWeb@users.noreply.github.com> Date: Fri, 5 May 2023 22:51:56 +0200 Subject: [PATCH] Optimize Arch Linux check Co-authored-by: Pavol Rusnak --- Makefile | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/Makefile b/Makefile index 15875a34e..a12d97142 100644 --- a/Makefile +++ b/Makefile @@ -13,13 +13,9 @@ ifndef UNAME_M UNAME_M := $(shell uname -m) endif -ARCH_LINUX1 := $(shell grep "Arch Linux" /etc/os-release 2>/dev/null) -ARCH_LINUX2 := $(shell grep "ID_LIKE=arch" /etc/os-release 2>/dev/null) -ifdef ARCH_LINUX1 -ARCH_ADD = -lcblas -endif -ifdef ARCH_LINUX2 -ARCH_ADD = -lcblas +ARCH_LINUX := $(shell grep -e "Arch Linux" -e "ID_LIKE=arch" /etc/os-release) +ifdef ARCH_LINUX +LDFLAGS_EXTRA += -lcblas endif CCV := $(shell $(CC) --version | head -n 1)