Add note about custom.mk example
commit8cbc6117db1456f403b870c1e13735ae4bc9056d
authorDavid Christiansen <david@davidchristiansen.dk>
dateFri 8 Nov 2013, 08:00 (13 years ago)
parent76c7c9e
README+1
@@ -13,6 +13,7 @@ Idris has optional buildtime dependencies on the C libraries llvm-3.3 and libffi
1313
1414To build with LLVM and libffi by default, create custom.mk or add the following line to it:
1515CABALFLAGS += -f LLVM -f FFI
16+The file custom.mk-alldeps is a suitable example.
1617
1718Idris 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).
1819