-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathabs2haskell.cabal
86 lines (83 loc) · 3.41 KB
/
abs2haskell.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
name: abs2haskell
version: 0.0.1
synopsis: abs2haskell, a transcompiler from the ABS language to Haskell
description: (longer) abs2haskell, a transcompiler from the ABS language to Haskell
author: Nikolaos Bezirgiannis
maintainer: NikolaosBezirgiannis <[email protected]>
stability: provisional
build-type: Simple
cabal-version: >= 1.8
library
build-depends: base,
array,
transformers<0.4,
-- containers-0.5.0.0 introduces strict containers, comes bundled with ghc>=7.6.3
containers>=0.5.0.0,
cmdargs,
filepath,
directory,
-- hse 1.16, datatype-incompatible
haskell-src-exts<1.16,
monad-coroutine>=0.8
exposed-modules:
-- imitating the abslang.abs
ABSPrelude,
-- primitive functions of the API reflecting the ABS language
Prim
other-modules:
-- lexer -}
LexABS,
-- parser
ParABS,
-- ast
AbsABS,
-- pretty-printer for ABS language (not actually needed)
PrintABS,
-- basic data types of the API
Base,
-- core functions of the framework
Core,
-- extra utility functions
Utils,
-- configuration for the compiler program
Conf,
-- parser stuff
SkelABS
--ghc-options: -rtsopts -threaded -fwarn-unused-imports
hs-source-dirs: src
executable abs2haskell
main-is: Transpile.hs
-- same build-depends as library
build-depends: base,
array,
transformers<0.4,
-- containers-0.5.0.0 introduces strict containers, comes bundled with ghc>=7.6.3
containers>=0.5.0.0,
cmdargs,
filepath,
directory,
-- hse 1.16, datatype-incompatible
haskell-src-exts<1.16,
monad-coroutine>=0.8
--ghc-options: -rtsopts -threaded -ddump-splices -F -pgmF she
hs-source-dirs: src
test-suite test
type: exitcode-stdio-1.0
main-is: Test.hs
build-depends: base,
array,
transformers<0.4,
-- containers-0.5.0.0 introduces strict containers, comes bundled with ghc>=7.6.3
containers>=0.5.0.0,
cmdargs,
filepath,
directory,
-- hse 1.16, datatype-incompatible
haskell-src-exts<1.16,
monad-coroutine>=0.8,
test-framework,
test-framework-hunit,
test-framework-th,
HUnit
ghc-options:
hs-source-dirs: src, test