I forgot to mention that `cpphs' can mimick gcc's cpp, with the flag `-cpp'. In Agda we have
ghc-options: -pgmPcpphs -optP--cpp Francesco On 24 December 2014 at 10:50, Francesco Mazzoli <f...@mazzo.li> wrote: > You can specify the pre-processor in the `ghc-options' field in the > cabal file, e.g. > > ghc-options: -pgmPcpphs > > Francesco > > On 23 December 2014 at 17:14, Brandon Allbery <allber...@gmail.com> wrote: >> On Tue, Dec 23, 2014 at 11:10 AM, Dominic Steinitz <domi...@steinitz.org> >> wrote: >>> >>> How very clever of you and thank you very much. Changing ‘ to 1 does fix >>> the problem. >>> >>> I would have thought this would work >>> >>> cabal install --with-gcc=gcc-4.9 >>> >>> >>> But sadly I still got the same error. >> >> >> I think that changes the gcc cabal uses to compile C code, but does not >> affect how ghc invokes cpp. Or put otherwise, there are too many ways that a >> C compiler can be dragged into the build pipeline (building C code >> explicitly [via cabal or via ghc foo.c, two different cases], wrapped FFI >> calls in ghc, -fvia-C, CPP, ...). >> >> -- >> brandon s allbery kf8nh sine nomine associates >> allber...@gmail.com ballb...@sinenomine.net >> unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net >> >> _______________________________________________ >> Libraries mailing list >> librar...@haskell.org >> http://www.haskell.org/mailman/listinfo/libraries >> _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users