-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathSoutei.cabal
101 lines (97 loc) · 3.73 KB
/
Soutei.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
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
Cabal-Version: >= 1.14
Name: Soutei
Version: 2.1
Synopsis: a logic-based trust-management system
Description:
SOUTEI is a trust-management system, a dialect of Binder, for access
control in distributed systems. Soutei policies and credentials are written
in a declarative logic-based security language and thus constitute
distributed logic programs. Soutei policies are modular, concise, and
readable. They support policy verification, and, despite the simplicity of
the language, express role- and attribute-based access control lists, and
conditional delegation.
http://soutei.sourceforge.net/
http://github.com/mstone/soutei
License: GPLv2
Author: Oleg Kiselyov <[email protected]>, Andrew Pimlott <[email protected]>
Maintainer: Michael Stone <[email protected]>
Stability: experimental
Build-Type: Simple
Library
Exposed-Modules: Soutei.Soutei
Soutei.Assertions,
Soutei.Check,
Soutei.Client,
Soutei.FBackTrack,
Soutei.FBackTrackT,
Soutei.GBBFS,
Soutei.GBBFS1,
Soutei.Lirs,
Soutei.Logic,
Soutei.Parsec,
Soutei.Sexpr,
Soutei.Syntax
Build-Depends: base >= 4.0,
containers -any,
directory -any,
mtl -any,
network -any,
old-locale -any,
old-time -any,
parallel -any,
parsec -any,
QuickCheck == 2.*,
random -any
GHC-Options: -Wall -funbox-strict-fields
GHC-Prof-Options: -prof -auto-all
Default-Language: Haskell2010
Executable soutei-server
Main-Is: soutei-server.hs
Other-Modules: Soutei.Soutei
Build-Depends: base >= 4.0,
containers -any,
directory -any,
mtl -any,
network -any,
old-locale -any,
old-time -any,
parallel -any,
parsec -any,
QuickCheck == 2.*,
random -any
GHC-Options: -Wall -funbox-strict-fields -rtsopts -threaded
GHC-Prof-Options: -prof -auto-all
Default-Language: Haskell2010
Executable soutei-cli
Main-Is: soutei-server.hs
Other-Modules: Soutei.Soutei
Build-Depends: base >= 4.0,
containers -any,
directory -any,
mtl -any,
network -any,
old-locale -any,
old-time -any,
parallel -any,
parsec -any,
QuickCheck == 2.*,
random -any
GHC-Options: -Wall -funbox-strict-fields -rtsopts -threaded
GHC-Prof-Options: -prof -auto-all
Default-Language: Haskell2010
Test-Suite soutei-metcast-tests
Type: exitcode-stdio-1.0
Main-is: demo/metcast-channels/soutei-metcast-tests.hs
Build-Depends: base >= 4.0,
containers -any,
directory -any,
mtl -any,
network -any,
old-locale -any,
old-time -any,
parallel -any,
parsec -any,
QuickCheck == 2.*,
random -any
GHC-Options: -Wall -funbox-strict-fields -rtsopts -threaded
Default-Language: Haskell2010