-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathkcoq.cabal
59 lines (57 loc) · 2 KB
/
kcoq.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
-- Initial mink.cabal generated by cabal init. For further documentation,
-- see http://haskell.org/cabal/users-guide/
name: kcoq
version: 0.1.0.0
-- synopsis:
-- description:
-- license:
-- license-file: LICENSE
author: Brandon Moore
maintainer: brandon.3.moore@gmail.com
-- copyright:
category: Language
build-type: Simple
-- extra-source-files:
cabal-version: >=1.10
executable kcoq
hs-source-dirs: conversion
main-is: Main.hs
build-depends: kcoq, base, containers, optparse-applicative, lens, mtl, parsec, fgl, filepath
default-language: Haskell2010
ghc-options: -threaded -eventlog -rtsopts -optl-static
library
hs-source-dirs: src
exposed-modules: Attributes,
BasicParser,
Definition,
Grammar,
GraphTools,
Module,
OpenTokenParser,
RequireChaser,
Util.Indexer,
Terms,
KastParser,
Util.StringQ,
Util.Zencode,
Util.TwoStage
-- other-modules:
other-extensions: QuasiQuotes, PackageImports, DeriveDataTypeable, NamedFieldPuns, DisambiguateRecordFields, PolymorphicComponents, FlexibleContexts
build-depends: directory,
filepath,
parallel,
transformers,
base,
containers,
parsec,
mtl,
template-haskell,
stm,
async,
lens,
criterion,
validation,
optparse-applicative,
fgl
-- hs-source-dirs:
default-language: Haskell2010