Use "" instead of <> for includes
Both searches the standard include dirs. The difference is that with
"" the local dir is looked at first, which <> don't do.
commitfc3229ff5b16ee602d8484fadf9635cd6643b134
authorNiklas Larsson <niklas@mm.st>
dateSun 4 Oct 2015, 01:37 (11 years ago)
parent97d9240
src/IRTS/CodegenC.hs+1−1
@@ -95,7 +95,7 @@ codegenC' defs out exec incs objs libs flags exports iface dbg
9595
9696headers xs =
9797 concatMap
98− (\h -> "#include <" ++ h ++ ">\n")
98+ (\h -> "#include \"" ++ h ++ "\"\n")
9999 (xs ++ ["idris_rts.h", "idris_bitstring.h", "idris_stdfgn.h"])
100100
101101debug TRACE = "#define IDRIS_TRACE\n\n"