cubical-0.1.2: Setup.hs

import Control.Monad
import Distribution.Simple
import System.Directory
import System.Process
import System.Exit

main :: IO ()
main = do
  b  <- doesFileExist "Exp/Abs.hs"
  -- run bnfc if the Exp directory does not exist
  when (not b) bnfc
  t1 <- getModificationTime "Exp.cf"
  t2 <- getModificationTime "Exp"
  -- run bnfc if Exp.cf has been modified
  when (t1 > t2) bnfc
  defaultMain
  where
    bnfc = do
      ret <- system "bnfc -d Exp.cf"
      case ret of
        ExitSuccess   -> defaultMain
        ExitFailure n -> error $ "bnfc command not found or error" ++ show n