ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-21 22:17:19 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #1782 from mietek/master

Browse Source 
Work around bug in glibc 2.11
This commit is contained in:
Edwin Brady 2014-12-11 23:29:09 +00:00
commit b9e5895f94
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
rts/Makefile
View File

@ -8,6 +8,15 @@ CFLAGS:=-fPIC $(CFLAGS)
CFLAGS += $(GMP_INCLUDE_DIR) $(GMP) -DIDRIS_TARGET_OS="\"$(OS)\""
CFLAGS += -DIDRIS_TARGET_TRIPLE="\"$(MACHINE)\""
# NOTE: This works around glibc 2.11 not declaring pthread_mutexattr_settype
# and PTHREAD_MUTEX_RECURSIVE by default, causing compilation failures on
# Debian 6 and Ubuntu 10.04 LTS.
ifeq ($(OS), unix)
ifneq ($(shell ldd --version | head -n 1 | grep 2.11),)
CFLAGS += -D_GNU_SOURCE
endif
endif
ifeq ($(OS), windows)
OBJS += windows/idris_stdfgn.o windows/idris_net.o
else