Name:                LambdaPiC
Version:             1.0
Author:              Mike Blaguszewski
Maintainer:          Mike Blaguszewski <haskell@quickbrownfox.org>
Stability:           Experimental
Synopsis:            A compiler for the LambdaPi language
Description:         
   A compiler for the simple, dependently-typed language LambdaPi. Based on the interpreter by Löh, McBride and Swierstra, and the LLVM bindings by O'Sullivan and Augustsson.
Cabal-version:       >=1.2.3
Build-type:          Simple

Executable lambdapic
    Main-is:            Main.hs
    Build-Depends:      base >= 3, containers, mtl, syb, process, parsec, 
                        pretty, filepath, Glob, haskell98, llvm >= 0.7.1.1
    Extensions:         DeriveDataTypeable,
                        GeneralizedNewtypeDeriving
    ghc-options:        -i3rdparty/llvm