@@ -5,7 +5,12 @@ HDRS = idris_rts.h idris_heap.h idris_gc.h idris_gmp.h idris_stdfgn.h idris_bits
55CFLAGS = -O2 -Wall -fPIC
66
77ifneq ($(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
914endif
1015
1116LIBTARGET = libidris_rts.a
@@ -18,7 +23,7 @@ $(LIBTARGET) : $(OBJS)
1823 ranlib $(LIBTARGET)
1924
2025$(DYLIBTARGET) : $(OBJS)
21− $(CC) $(CFLAGS) -shared -o $(DYLIBTARGET) $(OBJS)
26+ $(CC) $(CFLAGS) -lgmp -shared -o $(DYLIBTARGET) $(OBJS)
2227
2328build: $(DYLIBTARGET)
2429 mkdir -p $(DIST)/rts