Project

General

Profile

Statistics
| Branch: | Revision:

cool / _oasis @ 2cccf57a

History | View | Annotate | Download (5.13 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
Library libcool
18
  CompiledObject:   native
19
  Path:             src/lib
20
  BuildTools:       ocamlbuild
21
  CCLib: -lminisat -lstdc++
22

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

    
43
Library interfacencurses
44
  CompiledObject:   native
45
  Path:             src/ncurses
46
  BuildTools:       ocamlbuild
47
  CCLib: -lm -lreadline -lcurses -ltinfo -lgpm
48

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

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

    
70
Executable gen
71
  CompiledObject:   native
72
  Path:             benchmarks/aconjunctive_mu
73
  BuildTools:       ocamlbuild
74
  MainIs:           gen.ml
75
  BuildDepends:     libcool
76
  NativeOpt:        -cc g++
77
  ByteOpt:        -cc g++
78
  CCOpt: -std=c++98 -x c++
79
  if flag(static)
80
    CCLib:            -static -ltinfo -lgpm -lz -ldl -lltdl
81

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

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

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

    
118
Test testsuite
119
  TestTools:        testsuite
120
  Command:          $testsuite
121

    
122
Executable unit_tests
123
  Build$: flag(tests)
124
  CompiledObject:   native
125
  Path:             src/unit-tests/
126
  BuildTools:       ocamlbuild
127
  MainIs:           cool_unit_tests.ml
128
  BuildDepends:     libcool, oUnit
129
  if flag(static)
130
    CCLib:            -static
131

    
132
Test unit_tests
133
  Run$: flag(tests)
134
  TestTools:        unit_tests
135
  Command:          $unit_tests
136

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

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

    
161
AlphaFeatures: ocamlbuild_more_args
162
Document "cool_api"
163
  Type: ocamlbuild (0.4)
164
  BuildTools: ocamldoc, ocamlbuild
165

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

    
183
# some cabal similar syntax, so steal its syntax highlighting
184
# vim: ft=cabal
185
# Local Variables:
186
# mode: haskell-cabal
187
# End: