I decided to add some flags to control the way that C source file is compiled (i.e. something like use-clang, use-intel etc.).
C-Sources: c_lib/tiger.c
4.10.1. Replacing the program for one or more phases -pgmc cmd Use cmd as the C compiler.
4.10.1. Replacing the program for one or more phases
-pgmc cmd Use cmd as the C compiler.
-pgmc cmd
cmd
This works for ghc --make, but I'm not sure how to get Cabal to apply this to the C file compilation.
ghc --make