Ich habe beschlossen, einige Flags hinzuzufügen, um die Kompilierung der C-Quelldatei zu steuern (z. B. use-clang, use-intel usw.).

      C-Sources:    c_lib/tiger.c
      Include-Dirs: c_lib
      Install-Includes: tiger.h

      if flag(debug)
          GHC-Options: -debug -Wall -fno-warn-orphans
          CPP-Options: -DDEBUG
          CC-Options: -DDEBUG -g
      else
          GHC-Options: -Wall -fno-warn-orphans

Die Frage ist: Welche Optionen in der Beschreibungsdatei müssen geändert werden, um den C-Compiler zu ändern? Ich habe nur CC-Optionen gefunden.