git.iko.soy/Idris-dev
on master help sign in
Build fat RTS lib on OS X
f1ea2e4David Christiansen
rts/Makefile+7−2
compare with master
unifiedsplit
@@ -5,7 +5,12 @@ HDRS = idris_rts.h idris_heap.h idris_gc.h idris_gmp.h idris_stdfgn.h idris_bits
5CFLAGS = -O2 -Wall -fPIC
5CFLAGS = -O2 -Wall -fPIC
6
6
7ifneq ($(GMP_INCLUDE_DIR),)
7ifneq ($(GMP_INCLUDE_DIR),)
8− CFLAGS += -isystem $(GMP_INCLUDE_DIR)
8+ CFLAGS += -isystem $(GMP_INCLUDE_DIR)
9+endif
10+
11+# Build a fat lib on Mac OS X
12+ifeq ($(OS),darwin)
13+ CFLAGS += -arch i386 -arch x86_64
9endif
14endif
10
15
11LIBTARGET = libidris_rts.a
16LIBTARGET = libidris_rts.a
@@ -18,7 +23,7 @@ $(LIBTARGET) : $(OBJS)
18 ranlib $(LIBTARGET)
23 ranlib $(LIBTARGET)
19
24
20$(DYLIBTARGET) : $(OBJS)
25$(DYLIBTARGET) : $(OBJS)
21− $(CC) $(CFLAGS) -shared -o $(DYLIBTARGET) $(OBJS)
26+ $(CC) $(CFLAGS) -lgmp -shared -o $(DYLIBTARGET) $(OBJS)
22
27
23build: $(DYLIBTARGET)
28build: $(DYLIBTARGET)
24 mkdir -p $(DIST)/rts
29 mkdir -p $(DIST)/rts