[ fix ] Use HOMEBREW_PREFIX instead of /opt/homebrew

idris-lang · Apr 27, 2024 · 93bf394 · 93bf394
1 parent 2e27921
commit 93bf394
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/config.mk b/config.mk
@@ -37,9 +37,9 @@ else
 endif
 
 # Find homebrew's libgmp on ARM macs
-ifneq (,$(wildcard /opt/homebrew/include/gmp.h))
-	CPPFLAGS += -I/opt/homebrew/include
-	LDFLAGS += -L/opt/homebrew/lib
+ifneq (,$(wildcard ${HOMEBREW_PREFIX}/include/gmp.h))
+	CPPFLAGS += -I${HOMEBREW_PREFIX}/include
+	LDFLAGS += -L${HOMEBREW_PREFIX}/lib
 endif
 
 ifneq (, $(findstring freebsd, $(MACHINE)))