Merge pull request #2694 from melted/include_tweak
Use "" instead of <> for includes
commitac9d6fe52eeb9643260d97a3f705a3cc9317d058
authorNiklas Larsson <metaniklas@gmail.com>
dateSun 4 Oct 2015, 15:07 (11 years ago)
parent97d9240fc3229f
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"