@@ -13,6 +13,7 @@ Idris has optional buildtime dependencies on the C libraries llvm-3.3 and libffi
14To build with LLVM and libffi by default, create custom.mk or add the following line to it:
14To build with LLVM and libffi by default, create custom.mk or add the following line to it:
15CABALFLAGS += -f LLVM -f FFI
15CABALFLAGS += -f LLVM -f FFI
16+The file custom.mk-alldeps is a suitable example.
17Idris has a runtime dependency on libgmp, and on Boehm GC (libgc) when using the LLVM codegen. These are needed for linking into compiled programs, so be sure these are compiled for Idris's default target architecture (usually 64 bit on x86_64 systems).
18Idris has a runtime dependency on libgmp, and on Boehm GC (libgc) when using the LLVM codegen. These are needed for linking into compiled programs, so be sure these are compiled for Idris's default target architecture (usually 64 bit on x86_64 systems).