strappy/strappy.cabal at master · edechter/strappy · 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
126
127
Name:                strappy
Version:             0.0
License:             GPL
License-file:        LICENSE
Author:              Eyal Dechter
Maintainer:          Eyal Dechter <eyaldechter@gmail.com>
Stability:           experimental
Homepage:            https://bitbucket.org/edechter/strappy
Build-Type:          Simple
Cabal-Version:       >=1.8
Description:

    This package includes modules and scripts for concept learning via
    program induction, a research program lead by Eyal Dechter in Josh
    Tenenbaum's Computational Cognitive Science Group at MIT.

-- Extra-source-files:
source-repository head
                  type: git
                  location: git://github.com/edechter/strappy.git

-- You can disable the doctests test suite with -f-test-doctests
flag test-doctests
     default: True
     manual: True

-- You can disable the hunit test suite with -f-test-hunit
flag test-hunit
  default: True
  manual: True

-- Build the properties test if we're building tests
flag test-properties
  default: True
  manual: True


library
        build-depends:
           base,
           MemoTrie,
           mtl          >= 2.0.1.0,
           transformers >= 0.2.2.0,
           containers   >= 0.4.2.1,
           hashable     >= 1.1.2.5,
           hashmap      >= 1.3.0.1,
           pqueue       >= 1.2.0,
           list-extras  >= 0.4.1.1,
           time         >= 1.4,
           parsec       >= 3.1.2,
           ghc          >= 7.4.1,
           MonadRandom  >= 0.1.8,
           fgl          >= 5.4.2.4,
           graphviz     >= 2999.14.1.0,
           MissingH     >= 1.2.0.0,
           split        >= 0.1.4.3,
           filepath     >= 1.3.0.0,
           directory    >= 1.1.0.2

        exposed-modules:
            Strappy.Type
            Strappy.CL
            Strappy.Expr
            Strappy.Grammar
            Strappy.Data
            Strappy.Routers
            Strappy.StdLib
            Strappy.EnumBF
            Strappy.CompressionSearch
            Strappy.GraphSearch
            Strappy.Run
            Strappy.Task
            Strappy.Compress
            Strappy.Experiment
            Strappy.ParseCL
            Strappy.Search
            Strappy.Visualize
            Strappy.CLError
            Strappy.PostProcess
            Strappy.CombMap
            Strappy.DigArith
            Strappy.Sample
            Strappy.Utils

        ghc-options: -O2
        hs-source-dirs: src

test-suite properties
        build-depends:
                base,
                strappy,
                test-framework  >= 0.6,
                test-framework-th >= 0.2.4,
                test-framework-quickcheck2 >= 0.2,
                QuickCheck        >= 2.5.1.1
        type:   exitcode-stdio-1.0
        ghc-options: -w -threaded -rtsopts -with-rtsopts=-N
        main-is: properties.hs
        hs-source-dirs: tests

test-suite hunit
  type: exitcode-stdio-1.0
  main-is: hunit.hs
  ghc-options: -w -threaded -rtsopts -with-rtsopts=-N
  hs-source-dirs: tests

  build-depends:
      base,
      strappy,
      HUnit >= 1.2,
      test-framework       >= 0.6,
      test-framework-hunit >= 0.2,
      test-framework-th    >= 0.2,
      containers           >= 0.4.2.1


benchmark sampling
  type:           exitcode-stdio-1.0
  main-is:        sampling.hs
  ghc-options:    -Wall -O2 -threaded -fdicts-cheap -funbox-strict-fields
  hs-source-dirs: benchmarks
  build-depends:
    base,
    strappy,
    criterion