-
Notifications
You must be signed in to change notification settings - Fork 4
/
Copy pathMira.cabal
32 lines (31 loc) · 915 Bytes
/
Mira.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
Name: Mira
Version: 1.0
Cabal-Version: >=1.2
License: BSD3
License-File: LICENCE
Author: Simon J. Thompson
Homepage: http://www.cs.kent.ac.uk/people/staff/sjt/craft2e/regExp.html
Maintainer: [email protected]
Category: Automata Theory
Synopsis: A regular expression and automata library.
Build-Type: Simple
extra-source-files: src/Language/Mira/RegExpParser.y
Library
Build-Depends: base < 5
, containers < 0.3
, QuickCheck >= 2 && < 2.2
, array >= 0.2.0
Build-Tools: happy >= 1.18
hs-source-dirs: src
Exposed-modules:
Language.Mira,
Language.Mira.RegExpParser,
Language.Mira.RegExp,
Language.Mira.NfaTypes,
Language.Mira.ImplementNfa,
Language.Mira.BuildNfa,
Language.Mira.NfaLib,
Language.Mira.NfaMisc,
Language.Mira.NfaToDfa,
Language.Mira.MinimiseDfa
Ghc-Options: -Wall