From b830b27066f12d99e6dc8ab88e0f42cc24dda6a8 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Wed, 1 Apr 2009 14:34:13 +0000
Subject: [PATCH] Added a couple more settings to CompState to set the
 locations of the (C and occam) header files (but not made them available via
 the command-line, just yet)

---
 data/CompState.hs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/data/CompState.hs b/data/CompState.hs
index c8d5492..daa965a 100644
--- a/data/CompState.hs
+++ b/data/CompState.hs
@@ -104,6 +104,8 @@ data CompState = CompState {
     csUsageChecking :: Bool,
     csVerboseLevel :: Int,
     csOutputFile :: String,
+    csOutputHeaderFile :: String,
+    csOutputIncFile :: String,
     csKeepTemporaries :: Bool,
     csEnabledWarnings :: Set WarningType,
     csRunIndent :: Bool,
@@ -151,6 +153,8 @@ emptyState = CompState {
     csUsageChecking = True,
     csVerboseLevel = 0,
     csOutputFile = "-",
+    csOutputHeaderFile = "-",
+    csOutputIncFile = "-",
     csKeepTemporaries = False,
     csEnabledWarnings = Set.fromList
       [ WarnInternal