This repository has been archived by the owner on Jun 21, 2022. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 1
/
agda2llvm.cabal
139 lines (133 loc) · 3.25 KB
/
agda2llvm.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
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
cabal-version: 1.12
-- This file has been generated from package.yaml by hpack version 0.34.4.
--
-- see: https://github.com/sol/hpack
name: agda2llvm
version: 0.1.0.0
description: Please see the README on GitHub at <https://github.com/jochembroekhoff/agda2llvm#readme>
homepage: https://github.com/jochembroekhoff/agda2llvm#readme
bug-reports: https://github.com/jochembroekhoff/agda2llvm/issues
author: Jochem Broekhoff
maintainer: J.H.Broekhoff@student.tudelft.nl
copyright: 2022 Jochem Broekhoff
build-type: Simple
extra-source-files:
README.md
CHANGELOG.md
data-files:
Agda.ll
Agda-verbose.ll
AgdaPrim.ll
header.ll
gen/AgdaPrimWrap.ll
gen/header-prim.ll
data-dir: data
source-repository head
type: git
location: https://github.com/jochembroekhoff/agda2llvm
library
exposed-modules:
Agda.Compiler.LLVM.AbstractOpt
Agda.Compiler.LLVM.AbstractToLLVM
Agda.Compiler.LLVM.APprint
Agda.Compiler.LLVM.ASyntax
Agda.Compiler.LLVM.ASyntaxUtil
Agda.Compiler.LLVM.Compiler
Agda.Compiler.LLVM.Options
Agda.Compiler.LLVM.Pprint
Agda.Compiler.LLVM.RteUtil
Agda.Compiler.LLVM.Syntax
Agda.Compiler.LLVM.SyntaxUtil
Agda.Compiler.LLVM.Tables
Agda.Compiler.LLVM.ToAbstractIntermediate
Agda.Compiler.LLVM.Wiring
other-modules:
Paths_agda2llvm
hs-source-dirs:
src
default-extensions:
BlockArguments
DeriveAnyClass
DeriveGeneric
FlexibleInstances
LambdaCase
MultiParamTypeClasses
ScopedTypeVariables
StandaloneDeriving
TupleSections
build-depends:
Agda >=2.6.2.1 && <2.6.3
, base >=4.7 && <5
, bytestring
, containers
, crc >=0.1.1.1
, deepseq >=1.4.5
, directory
, filepath >=1.4 && <2
, ghc
, mtl >=2.2.2 && <3
, utf8-string
default-language: Haskell2010
executable agda2llvm-exe
main-is: Main.hs
other-modules:
Paths_agda2llvm
hs-source-dirs:
app
default-extensions:
BlockArguments
DeriveAnyClass
DeriveGeneric
FlexibleInstances
LambdaCase
MultiParamTypeClasses
ScopedTypeVariables
StandaloneDeriving
TupleSections
ghc-options: -threaded -rtsopts -with-rtsopts=-N
build-depends:
Agda >=2.6.2.1 && <2.6.3
, agda2llvm
, base >=4.7 && <5
, bytestring
, containers
, crc >=0.1.1.1
, deepseq >=1.4.5
, directory
, filepath >=1.4 && <2
, ghc
, mtl >=2.2.2 && <3
, utf8-string
default-language: Haskell2010
test-suite agda2llvm-test
type: exitcode-stdio-1.0
main-is: Spec.hs
other-modules:
Paths_agda2llvm
hs-source-dirs:
test
default-extensions:
BlockArguments
DeriveAnyClass
DeriveGeneric
FlexibleInstances
LambdaCase
MultiParamTypeClasses
ScopedTypeVariables
StandaloneDeriving
TupleSections
ghc-options: -threaded -rtsopts -with-rtsopts=-N
build-depends:
Agda >=2.6.2.1 && <2.6.3
, agda2llvm
, base >=4.7 && <5
, bytestring
, containers
, crc >=0.1.1.1
, deepseq >=1.4.5
, directory
, filepath >=1.4 && <2
, ghc
, mtl >=2.2.2 && <3
, utf8-string
default-language: Haskell2010