Name:            YhcCert
Version:         0.1
Author:          Robert Dockins
License:         GPL
License-file:    LICENSE
Synopsis:        Certifying backend compiler for G-Machine bytecode
Stability:       Alpha
Build-Depends:
     base >= 1.0,
     haskell98 >= 1.0,
     HUnit == 1.1,
     parsec == 2.0,
     mtl == 1.0,
     Shellac >= 0.5,
     Shellac-readline >= 0.2,
     YhcBytecode == 0.3,
     fgl == 5.2

Executable: ilCompiler
Main-Is: Main.hs
Hs-Source-Dirs:
     src
GHC-Options: -fwarn-incomplete-patterns
Extensions:
   FlexibleInstances