-
Notifications
You must be signed in to change notification settings - Fork 2
/
package.yaml
91 lines (84 loc) · 2.44 KB
/
package.yaml
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
name: call-alloy
version: 0.5.0.1
github: "marcellussiegburg/call-alloy"
license: MIT
author: "Marcellus Siegburg"
maintainer: "[email protected]"
copyright: "2019-2024 Marcellus Siegburg"
data-dir: data
data-files:
- alloy/RunAlloy.class
- alloy/SATSolver.class
- org.alloytools.alloy.dist.jar
- commons-cli/commons-cli-1.5.0.jar
- commons-cli/NOTICE.txt
- commons-cli/LICENSE.txt
- slf4j/slf4j-simple-1.7.36.jar
- slf4j/LICENSE
extra-source-files:
- README.md
- LICENSE
- ChangeLog.md
- test/unit/readmeExampleInstance.hs
- test/unit/readmeExampleResult.hs
- test/unit/readmeExampleSpecification.als
ghc-options:
- -Wall
- -Wincomplete-uni-patterns
- -Wincomplete-record-updates
- -Widentities
- -Wredundant-constraints
synopsis: A simple library to call Alloy given a specification
category: Language
description: Please see the README on GitHub at <https://github.com/marcellussiegburg/call-alloy#readme>
dependencies:
- async >= 2.2.1 && < 2.3
- base >= 4.12 && < 5
- bytestring >= 0.10.4 && < 0.13
- containers >= 0.6 && < 0.8
- directory >= 1.3 && < 1.4
- exceptions >= 0.8.1 && < 0.11
- extra >= 1.7 && < 1.8
- filepath >= 1.4 && < 1.5
- process >= 1.6 && < 1.7
- split >= 0.2 && < 0.3
- transformers >= 0.5.0.0 && < 0.7
- trifecta >= 2 && < 2.2
when:
- condition: os(windows)
then:
cpp-options: -DWINDOWS
dependencies:
- Win32 >= 2.5 && < 2.15
else:
dependencies:
- unix >= 2.7 && < 2.9
flags:
test-different-solvers:
description: During tests different solvers are called to test if they are working on the current system
manual: true
default: false
library:
source-dirs: src
exposed-modules:
- Language.Alloy.Call
- Language.Alloy.Debug
- Language.Alloy.Exceptions
tests:
call-alloy-test:
main: Spec.hs
source-dirs:
- src
- test
ghc-options:
- -threaded
- -rtsopts
- -with-rtsopts=-N
dependencies:
- call-alloy
- file-embed
- hspec
- string-interpolate
when:
condition: flag(test-different-solvers)
cpp-options: -DTEST_DIFFERENT_SOLVERS