-
Notifications
You must be signed in to change notification settings - Fork 11
/
idris-cil.cabal
108 lines (101 loc) · 3.45 KB
/
idris-cil.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
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
name: idris-cil
version: 0.2.0.0
synopsis: A Common Intermediate Language backend for Idris.
description: A Common Intermediate Language backend for Idris.
homepage: https://github.com/bamboo/idris-cil
license: BSD3
license-file: LICENSE
author: Rodrigo B. de Oliveira
maintainer: Rodrigo B. de Oliveira <rbo@acm.org>
category: Language
build-type: Custom
extra-source-files: README.md
, rts/*.ipkg
, rts/CIL/*.idr
, rts/CIL/FFI/*.idr
cabal-version: >=1.18
custom-setup
setup-depends: base
, Cabal
, process
library
default-language: Haskell2010
ghc-prof-options: -auto-all -caf-all
ghc-options: -funbox-strict-fields -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates
hs-source-dirs: src
exposed-modules: IRTS.CodegenCil
, IRTS.Cil.CaseDispatch
, IRTS.Cil.Builders
other-modules: IRTS.Cil.UnreachableCodeRemoval
, IRTS.Cil.FFI
, IRTS.Cil.Parsers
, IRTS.Cil.MaxStack
, IRTS.Cil.OptimizeLocals
, IRTS.Cil.Types
build-depends: base >= 4.7 && <5
, containers
, unordered-containers
, directory
, dlist
, filepath
, idris >= 1.1.1
, language-cil >= 0.4.1
, mtl
, process
, text
, transformers
, bytestring
, utf8-string
, trifecta
executable idris-codegen-cil
main-is: Main.hs
build-depends: base >= 4.7 && <5
, containers
, directory
, filepath
, haskeline
, idris >= 1.1.1
, mtl
, text
, transformers
, idris-cil
hs-source-dirs: main
default-language: Haskell2010
ghc-prof-options: -auto-all -caf-all
ghc-options: -threaded -rtsopts -funbox-strict-fields -O2
test-suite spec
default-language: Haskell2010
type: exitcode-stdio-1.0
ghc-options: -funbox-strict-fields -threaded -rtsopts -with-rtsopts=-N
ghc-prof-options: -auto-all -caf-all
hs-source-dirs: test
main-is: Spec.hs
other-modules: IRTS.CodegenCilSpec
, IRTS.Cil.CaseDispatchSpec
build-depends: aeson
, async
, base >= 4 && < 5
, language-cil >= 0.4.1
, mtl
, transformers
, transformers-compat
, filepath
, process
, directory
, hspec >= 1.3
, hspec-expectations-pretty-diff
, smallcheck
, hspec-smallcheck
, idris >= 1.1.1
, idris-cil
test-suite hlint
default-language: Haskell2010
ghc-options: -threaded -rtsopts -with-rtsopts=-N
type: exitcode-stdio-1.0
build-depends: base >= 4 && < 5
, hlint
hs-source-dirs: test
main-is: HLint.hs
source-repository head
type: git
location: https://github.com/bamboo/idris-cil