-
Notifications
You must be signed in to change notification settings - Fork 29
/
ivory-backend-c.cabal
52 lines (48 loc) · 1.9 KB
/
ivory-backend-c.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
-- Initial ivory.cabal generated by cabal init. For further documentation,
-- see http://haskell.org/cabal/users-guide/
name: ivory-backend-c
version: 0.1.0.2
author: Galois, Inc.
maintainer: leepike@galois.com
category: Language
synopsis: Ivory C backend.
description: Ivory compiler, to a subset of C99.
homepage: http://smaccmpilot.org/languages/ivory-introduction.html
build-type: Simple
cabal-version: >= 1.10
data-files: runtime/ivory.h,
runtime/ivory_templates.h,
runtime/ivory_asserts.h
license: BSD3
license-file: LICENSE
source-repository this
type: git
location: https://github.com/GaloisInc/ivory
tag: hackage-backend-0101
library
exposed-modules: Ivory.Compile.C,
Ivory.Compile.C.Gen,
Ivory.Compile.C.Modules,
Ivory.Compile.C.Prop,
Ivory.Compile.C.Types,
Ivory.Compile.C.CmdlineFrontend,
Ivory.Compile.C.CmdlineFrontend.Options,
Ivory.Compile.C.SourceDeps
other-modules: Paths_ivory_backend_c
build-depends: base >= 4.6,
language-c-quote >= 0.10.0,
srcloc,
mainland-pretty >= 0.2.5,
monadLib >= 3.7,
template-haskell >= 2.8,
bytestring >= 0.10,
ivory,
ivory-opts,
directory,
filepath,
process,
cmdlib >= 0.3.5,
containers
hs-source-dirs: src
default-language: Haskell2010
ghc-options: -Wall