Project

General

Profile

Statistics
| Branch: | Revision:

cool / _oasis @ a80babbf

History | View | Annotate | Download (5.29 KB)

1
OASISFormat:    0.4
2
BuildTools:     ocamlbuild
3
Name:           cool
4
Version:        0.1
5
Synopsis:       Coalgebraic Ontology Logic solver
6
Authors:        Florian Widmann, Thorsten WiƟmann
7
Homepage:       https://cal8.cs.fau.de/redmine/projects/cool/wiki
8
License:        GPL
9
BuildDepends:   ocamlgraph,
10
                unix,
11
                str
12

    
13
Flag static
14
    Description: Link COOL executables statically
15
    Default:     false
16

    
17
Flag benchmarks
18
    Description: Build generators for benchmarks
19
    Default:     false
20

    
21
Library libcool
22
  CompiledObject:   native
23
  Path:             src/lib
24
  BuildTools:       ocamlbuild
25
  CCLib: -lminisat -lstdc++
26

    
27
  # Warning: we use C++ sources in .c files because oasis does not recognize
28
  # cpp-files
29
  NativeOpt:        -cc g++
30
  ByteOpt:        -cc g++
31
  CCOpt: -std=c++98 -x c++
32
  # glpk_stub is not included here, because it's not being used by
33
  # any code right now. Add it back if you need it.
34
  CSources:         minisat_stub.c
35
  InternalModules:  ALCFormula, ALCGraph, ALCMisc, CoAlgLogicUtils,
36
                    CoAlgLogics, HashConsing, MiscSolver, AltGenlex,
37
                    Minisat
38
  Modules:          CoAlgMisc,
39
                    CoAlgFormula,
40
                    CoolUtils,
41
                    GenAndComp,
42
                    CoAlgReasoner,
43
                    FocusTracking,
44
                    CoolGraph,
45
                    FunctorParsing
46

    
47
Library interfacencurses
48
  CompiledObject:   native
49
  Path:             src/ncurses
50
  BuildTools:       ocamlbuild
51
  CCLib: -lm -lreadline -lcurses -ltinfo -lgpm
52

    
53
  # Warning: we use C++ sources in .c files because oasis does not recognize
54
  # cpp-files
55
  NativeOpt:        -cc g++
56
  ByteOpt:        -cc g++
57
  CCOpt: -std=c++98 -x c++
58
  CSources:         Curses_stub.c, Readline_stub.c
59
  #InternalModules:
60
  Modules:          Curses, Readline, NCUI
61

    
62
Executable coalg
63
  CompiledObject:   native
64
  Path:             src/coalg/
65
  BuildTools:       ocamlbuild
66
  MainIs:           coalg.ml
67
  BuildDepends:     libcool
68
  NativeOpt:        -cc g++
69
  ByteOpt:        -cc g++
70
  CCOpt: -std=c++98 -x c++
71
  if flag(static)
72
    CCLib:            -static -ltinfo -lgpm -lz -ldl -lltdl
73

    
74
Executable aconjunctive_mu_generator
75
  CompiledObject:   native
76
  Path:             benchmarks/aconjunctive_mu
77
  BuildTools:       ocamlbuild
78
  MainIs:           aconjunctive_mu_generator.ml
79
  BuildDepends:     libcool
80
  Build$:           flag(benchmarks)
81
  NativeOpt:        -cc g++
82
  ByteOpt:        -cc g++
83
  CCOpt: -std=c++98 -x c++
84
  if flag(static)
85
    CCLib:            -static -ltinfo -lgpm -lz -ldl -lltdl
86

    
87
Executable "cool-owl"
88
  CompiledObject:   native
89
  Path:             src/owl/
90
  BuildTools:       ocamlbuild
91
  MainIs:           cool-owl.ml
92
  BuildDepends:     libcool
93
  NativeOpt:        -cc g++
94
  ByteOpt:        -cc g++
95
  CCOpt: -std=c++98 -x c++
96
  if flag(static)
97
    CCLib:            -static
98

    
99
Executable coalgcompare
100
  CompiledObject:   native
101
  Path:             src/coalgcompare/
102
  BuildTools:       ocamlbuild
103
  MainIs:           coalgcompare.ml
104
  BuildDepends:     libcool
105
  NativeOpt:        -cc g++
106
  ByteOpt:        -cc g++
107
  CCOpt: -std=c++98 -x c++
108
  if flag(static)
109
    CCLib:            -static
110

    
111
Executable testsuite
112
  CompiledObject:   native
113
  Path:             src/testsuite/
114
  BuildTools:       ocamlbuild
115
  MainIs:           cool-testsuite.ml
116
  BuildDepends:     libcool
117
  NativeOpt:        -cc g++
118
  ByteOpt:        -cc g++
119
  CCOpt: -std=c++98 -x c++
120
  if flag(static)
121
    CCLib:            -static
122

    
123
Test testsuite
124
  TestTools:        testsuite
125
  Command:          $testsuite
126

    
127
Executable unit_tests
128
  Build$: flag(tests)
129
  CompiledObject:   native
130
  Path:             src/unit-tests/
131
  BuildTools:       ocamlbuild
132
  MainIs:           cool_unit_tests.ml
133
  BuildDepends:     libcool, oUnit
134
  if flag(static)
135
    CCLib:            -static
136

    
137
Test unit_tests
138
  Run$: flag(tests)
139
  TestTools:        unit_tests
140
  Command:          $unit_tests
141

    
142
Executable replexample
143
  CompiledObject:   native
144
  Path:             src/repl-example
145
  BuildTools:       ocamlbuild
146
  MainIs:           repl-example.ml
147
  BuildDepends:     interfacencurses
148
  NativeOpt:        -cc g++
149
  ByteOpt:        -cc g++
150
  CCOpt: -std=c++98 -x c++
151
  if flag(static)
152
    CCLib:            -static
153

    
154
Executable debugger
155
  CompiledObject:   native
156
  Path:             src/debugger/
157
  BuildTools:       ocamlbuild
158
  MainIs:           debugger.ml
159
  BuildDepends:     interfacencurses, libcool
160
  NativeOpt:        -cc g++
161
  ByteOpt:        -cc g++
162
  CCOpt: -std=c++98 -x c++
163
  if flag(static)
164
    CCLib:            -static -lz -ldl -lltdl
165

    
166
AlphaFeatures: ocamlbuild_more_args
167
Document "cool_api"
168
  Type: ocamlbuild (0.4)
169
  BuildTools: ocamldoc, ocamlbuild
170

    
171
  Title: Internal API for COOL
172
  XOCamlbuildPath: src/lib
173
  XOCamlbuildExtraArgs:
174
    "-docflags '-colorize-code -short-functors -charset utf-8'"
175
  XOCamlbuildModules: CoAlgLogicUtils,
176
                      CoAlgLogics,
177
                      HashConsing,
178
                      MiscSolver,
179
                      AltGenlex,
180
                      Minisat,
181
                      CoAlgMisc,
182
                      CoAlgFormula,
183
                      CoolUtils,
184
                      GenAndComp,
185
                      CoAlgReasoner,
186
                      FunctorParsing
187

    
188
# some cabal similar syntax, so steal its syntax highlighting
189
# vim: ft=cabal
190
# Local Variables:
191
# mode: haskell-cabal
192
# End: