-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathtimedreb2erl.cabal
52 lines (48 loc) · 1.72 KB
/
timedreb2erl.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
-- timedreb2erl.cabal auto-generated by cabal init. For additional
-- options, see
-- http://www.haskell.org/cabal/release/cabal-latest/doc/users-guide/authors.html#pkg-descr.
name: timedreb2erl
version: 0.2
synopsis: A program to translate Timed Rebeca models to Erlang.
-- description:
license: MIT
license-file: LICENSE
author: Árni Hermann Reynisson
maintainer: [email protected]
-- copyright:
category: Development
build-type: Simple
extra-source-files: README,
TODO,
gencode.sh,
src/rebeca.cf
cabal-version: >=1.6
data-dir: data
data-files: *.erl
flag base4
description: Choose the even newer, even smaller, split-up base package.
executable timedreb2erl
--ghc-options: -Wall
hs-source-dirs: src
main-is: Main.hs
build-depends: array,
cmdargs,
directory,
filepath,
haskell98,
HStringTemplate,
mtl,
pretty,
split
if flag(base4)
build-depends: base >= 4 && < 5, syb
else
build-depends: base >= 2 && < 4
other-modules: Language.Rebeca.Absrebeca
Language.Rebeca.ErrM
Language.Rebeca.Printrebeca
Language.Rebeca.Absrebeca
other-modules: Language.Rebeca.Lexrebeca,
Language.Rebeca.Parrebeca,
Paths_timedreb2erl
build-tools: alex, happy