ogma-core: Modify component spec backend to allow customizing target …

…filename. Refs #80.

Ogma does not allow users to specify the name of the target file that should be
used in applications produced from FRET files. Without that extra facility, it
becomes necessary to rename and modify the Copilot/Haskell (or C) files
produced, which detracts from a smooth UX process.

This commit modifies the FRET component specification backend to customize the
name of the target C filenames based on an argument to the backend.

ogma-core/src/Language/Trans/FRETComponentSpec2Copilot.hs

@@ -57,6 +57,7 @@ data FRETComponentSpec2CopilotOptions = FRETComponentSpec2CopilotOptions
   { fretCS2CopilotUseCoCoSpec :: Bool
   , fretCS2CopilotIntType     :: String
   , fretCS2CopilotRealType    :: String
+  , fretCS2CopilotFilename    :: String
   }
 
 -- | Transform a FRET TL specification into a Copilot specification.
@@ -249,7 +250,8 @@ fretComponentSpec2Copilot' prefs fretComponentSpec =
     main' :: [String]
     main' = [ ""
             , "main :: IO ()"
-            , "main = reify spec >>= compile \"fret\""
+            , "main = reify spec >>= compile \""
+                 ++ fretCS2CopilotFilename prefs ++ "\""
             ]
 
 -- | Return the corresponding type in Copilot matching a given FRET type.