+ -- ToDo: switch away from using 'echo' alltogether (but need
+ -- a faster alternative than what's done below).
+#if defined(mingw32_TARGET_OS) && defined(MINIMAL_UNIX_DEPS)
+ else (do
+ h <- openFile output_fn WriteMode
+ hPutStrLn h ("{-# LINE 1 \"" ++ input_fn ++ "\" #-}")
+ ls <- readFile input_fn -- inefficient, but it'll do for now.
+ -- ToDo: speed up via slurping.
+ hPutStrLn h ls
+ hClose h) `catchAllIO`
+ (\_ -> throwDyn (PhaseFailed "Ineffective C pre-processor" (ExitFailure 1)))
+#else