git.iko.soy/Idris-dev
on master help sign in
Add AR and RANLIB envs for exherbo multiarch.
2b0224aChristopher Schwaab
config.mk+3
compare with master
unifiedsplit
@@ -1,4 +1,7 @@
1CC ?=cc
1CC ?=cc
2+AR ?=ar
3+RANLIB ?=ranlib
4+
2CABAL :=cabal
5CABAL :=cabal
3# IDRIS_ENABLE_STATS should not be set in final release
6# IDRIS_ENABLE_STATS should not be set in final release
4# Any flags defined here which alter the RTS API must also be added to src/IRTS/CodegenC.hs
7# Any flags defined here which alter the RTS API must also be added to src/IRTS/CodegenC.hs
rts/Makefile+2−2
@@ -30,8 +30,8 @@ LIBTARGET = libidris_rts.a
30build: $(LIBTARGET) $(DYLIBTARGET)
30build: $(LIBTARGET) $(DYLIBTARGET)
31
31
32$(LIBTARGET) : $(OBJS)
32$(LIBTARGET) : $(OBJS)
33− ar r $(LIBTARGET) $(OBJS)
33+ $(AR) r $(LIBTARGET) $(OBJS)
34− ranlib $(LIBTARGET)
34+ $(RANLIB) $(LIBTARGET)
35
35
36install :
36install :
37 mkdir -p $(TARGET)
37 mkdir -p $(TARGET)