summaryrefslogtreecommitdiff
path: root/jukebox.cabal
blob: 3bc85cc165033a4f4ade462c528b07f821a7d27b (plain)
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
Name: jukebox
Version: 0.5.1
Cabal-version: >= 1.10
Build-type: Simple
Author: Nick Smallbone
Maintainer: nicsma@chalmers.se
Copyright: 2009-2017 Nick Smallbone, Koen Claessen, Ann Lillieström

Category:            Logic

Synopsis:            A first-order reasoning toolbox
Description:
  Jukebox is a suite of tools for transforming problems in first-order logic.
  It reads problems in TPTP (FOF and TFF) format.
  .
  Currently it can translate typed problems to untyped (by efficiently
  encoding types) and clausify problems (both typed and untyped).
License: BSD3
License-file: LICENSE
extra-source-files: src/errors.h gcc-static-libstdc++

flag static-cxx
  description: Build a binary which statically links against libstdc++.
  default: False

source-repository head
  type:     git
  location: https://github.com/nick8325/jukebox

Library
  default-language: Haskell2010
  Build-depends: base >= 4 && < 5, array, transformers >= 0.4.0.0, directory,
    filepath, pretty >= 1.1.2.0, symbol, dlist, process, containers, uglymemo,
    minisat, utf8-string
  if !impl(ghc >= 8.0)
    Build-depends: semigroups, fail
  ghc-options: -W -fno-warn-incomplete-patterns
  Build-tools: alex
  Hs-source-dirs: src
  include-dirs: src
  Exposed-modules:
    Jukebox.Form
    Jukebox.Name
    Jukebox.Options
    Jukebox.ExternalProvers.E
    Jukebox.ExternalProvers.SPASS
    Jukebox.Sat
    Jukebox.Sat.ThreeValued
    Jukebox.Sat.Equality
    Jukebox.Sat.Minimise
    Jukebox.Sat.Easy
    Jukebox.SMTLIB
    Jukebox.Toolbox
    Jukebox.Tools.Clausify
    Jukebox.Tools.GuessModel
    Jukebox.Tools.InferTypes
    Jukebox.Tools.AnalyseMonotonicity
    Jukebox.Tools.EncodeTypes
    Jukebox.Tools.HornToUnit
    Jukebox.TPTP.Parse.Core
    Jukebox.TPTP.FindFile
    Jukebox.TPTP.Lexer
    Jukebox.TPTP.Parsec
    Jukebox.TPTP.Parse
    Jukebox.TPTP.ParseSnippet
    Jukebox.TPTP.Print
    Jukebox.UnionFind
    Jukebox.Utils

Executable jukebox
  default-language: Haskell2010
  Main-is: executable/Main.hs
  Build-depends: base >= 4 && < 5, jukebox
  ghc-options: -W -fno-warn-incomplete-patterns

  if flag(static-cxx)
    ghc-options: -pgml ./gcc-static-libstdc++