idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-27 04:42:32 +03:00
Code Issues Projects Releases Wiki Activity

[ fix ] Use HOMEBREW_PREFIX instead of /opt/homebrew

Browse Source
This commit is contained in:
Steve Dunham 2024-04-27 14:51:25 -07:00
parent 2e27921771
commit 93bf394370
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
config.mk
View File

@ -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)))