differential-datalog/package.yaml at master · ddlog-dev2/differential-datalog · GitHub

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
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
name:                differential-datalog
version:             0.17.0.0
github:              "vmware/differential-datalog"
license:             MIT
author:              "Leonid Ryzhyk"
maintainer:          "lryzhyk@vmware.com"
copyright:           "VMware, Inc"

extra-source-files:
- README.md

# Metadata used when publishing your package
# synopsis:            Incremental Datalog engine based on differential dataflow
# category:            Language

description:         Please see the README on Github at <https://github.com/ryzhyk/differential-datalog#readme>

dependencies:
- base >= 4.7 && < 5
- ansi-terminal
- mtl
- parsec
- pretty
- directory
- containers
- binary
- bytestring
- bytestring-conversion
- extra
- fgl
- split
# MissingH is not compatible with Windows due to regex-posix dependency.
#- MissingH
- raw-strings-qq
- time
- transformers
- tuple
- file-embed
- filepath
- wide-word
- graphviz
- text
- githash
- process
- aeson

library:
  source-dirs: src
  ghc-options:
  - -optl-static
  - -optl-pthread
  - -Wall
  - -Werror
  - -fprof-auto
  - -O2
executables:
  ddlog:
    main:                Main.hs
    source-dirs:         app
    # Mac OS does not support statically linked executables.
    when:
    - condition: os(linux)
      then:
          ghc-options:
              - -threaded
              - -rtsopts
              - -with-rtsopts=-N
              - -optl-static
              - -optl-pthread
              - -Wall
              - -Werror
      else:
          ghc-options:
              - -threaded
              - -rtsopts
              - -with-rtsopts=-N
              - -Wall
              - -Werror
    dependencies:
    - differential-datalog
    - filepath
  ovsdb2ddlog:
    main:                Main.hs
    source-dirs:         adapters/ovsdb
    ghc-options:
    - -threaded
    - -rtsopts
    - -with-rtsopts=-N
    - -Wall
    - -Werror
    dependencies:
    - differential-datalog
    - filepath
    - containers
  debugparser:
    main:                Main.hs
    source-dirs:         debugger
    ghc-options:
      - -threaded
      - -rtsopts
      - -with-rtsopts=-N
      - -Wall
      - -Werror
    dependencies:
      - differential-datalog
      - filepath

tests:
  differential-datalog-test:
    main:                Spec.hs
    source-dirs:         test
    ghc-options:
    - -threaded
    - -rtsopts
    - -with-rtsopts=-N
    - -Wall
    - -Werror
    dependencies:
    - differential-datalog
    - tasty
    - tasty-hunit
    - tasty-golden
    - filepath
    - deepseq
    - zlib