-
Notifications
You must be signed in to change notification settings - Fork 0
/
narradar-funsat-rpo.cabal
81 lines (62 loc) · 2.82 KB
/
narradar-funsat-rpo.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
-- funsat-rpo.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.
-- The name of the package.
Name: narradar-funsat-rpo
-- The package version. See the Haskell package versioning policy
-- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for
-- standards guiding when and how versions should be incremented.
Version: 0.4
-- A short (one-line) description of the package.
Synopsis: Funsat language extended with RPO constraints over terms
-- A longer description of the package.
-- Description:
-- The license under which the package is released.
License: PublicDomain
-- The file containing the license text.
License-file: LICENSE
-- The package author(s).
Author: Pepe
-- An email address to which users can send suggestions, bug reports,
-- and patches.
Maintainer: pepeiborra@gmail.com
-- A copyright notice.
-- Copyright:
Category: Logic
Build-type: Simple
-- Extra files to be distributed with the package, such as examples or
-- a README.
-- Extra-source-files:
-- Constraint on the version of Cabal needed to build this package.
Cabal-version: >=1.2
Library
-- Modules exported by the library.
Exposed-modules: Funsat.TermCircuit
Funsat.TermCircuit.Ext
Funsat.TermCircuit.Symbols
Funsat.TermCircuit.SomeCircuit
Funsat.TermCircuit.RPO
Funsat.TermCircuit.RPO.Symbols
Funsat.TermCircuit.WPO
Funsat.TermCircuit.WPO.Symbols
Funsat.TermCircuit.WPO.POL
Funsat.TermCircuit.WPO.SUM
Funsat.TermCircuit.WPO.MAX
Funsat.TermCircuit.WPO.MPOL
Other-modules:
Funsat.TermCircuit.Internal.Syntax
-- Packages needed in order to build this package.
Build-depends: base, ghc-prim, mtl, array, containers, control-monad-free,
pretty, fgl, bifunctors,
bytestring, filepath,
narradar-funsat-lang >= 0.9,
narradar-term, hashable, deepseq, prelude-extras,
strict
ghc-options: -Wall -Werror -fno-warn-name-shadowing -fno-warn-missing-signatures -fno-warn-orphans -fno-warn-unused-binds -fno-warn-unused-matches -fno-warn-dodgy-imports -fno-warn-unused-imports
extensions: CPP
default-language: Haskell2010
ghc-prof-options: -fprof-auto-calls
-- Modules not exported by this package.
-- Other-modules:
-- Extra tools (e.g. alex, hsc2hs, ...) needed to build the source.
-- Build-tools: