a0413d0Merge branch 'gc-header-fix' of https://github.com/JasonGross/Idris-dev into JasonGross-gc-header-fixEdwin Brady12 years ago 23a28d5Fix .PHONY targets in MakefilesAndy Morris13 years ago ffb08c2Add pkg-config gc flags to llvm MakefileJason Gross13 years ago c7cf1f0Refactored the build inside Setup.hs and the various Makefiles.Gabe McArthur13 years ago 58bb8e0Take CFLAGS from environment in MakefilesBenjamin Saunders13 years ago acce7daGC GMP-allocated memoryBenjamin Saunders13 years ago 114221aForgotten fileBenjamin Saunders13 years ago