Project

General

Profile

Statistics
| Branch: | Revision:

cool / _oasis @ b75e5a66

History | View | Annotate | Download (5.76 KB)

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

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

    
16
Library libcool
17
  CompiledObject:   native
18
  Path:             src/lib
19
  BuildTools:       ocamlbuild
20
  CCLib: -lminisat -lstdc++ -lbdd -lm -lglpk
21

    
22
  # Warning: we use C++ sources in .c files because oasis does not recognize
23
  # cpp-files
24
  NativeOpt:        -cc g++
25
  ByteOpt:        -cc g++
26
  CCOpt: -std=c++98 -x c++
27
  # TODO: activate glpk_stub.c again
28
  CSources:         gmlmip_stub.c,
29
                    minisat_stub.c,
30
                    glpk_stub.c,
31
                    GMLMIP-0.1/rules/sizefunctions.c,
32
                    GMLMIP-0.1/rules/setofconclusions.c,
33
                    GMLMIP-0.1/rules/PML_premise.c,
34
                    GMLMIP-0.1/rules/valuation.c,
35
                    GMLMIP-0.1/rules/node.c,
36
                    GMLMIP-0.1/rules/premise.c,
37
                    GMLMIP-0.1/rules/radixtree.c,
38
                    GMLMIP-0.1/rules/GML_premise.c,
39
                    GMLMIP-0.1/parser/mlf-parser.tab.c,
40
                    GMLMIP-0.1/parser/mlf-driver.c,
41
                    GMLMIP-0.1/parser/lex.yy.c,
42
                    GMLMIP-0.1/formulas/GML_formula.c,
43
                    GMLMIP-0.1/formulas/rational.c,
44
                    GMLMIP-0.1/formulas/formula.c,
45
                    GMLMIP-0.1/formulas/satisfyingassignment.c,
46
                    GMLMIP-0.1/formulas/PML_formula.c,
47
                    GMLMIP-0.1/onestep.c,
48
                    GMLMIP-0.1/onestep.h,
49
                    GMLMIP-0.1/rules/premise.h,
50
                    GMLMIP-0.1/rules/node.h,
51
                    GMLMIP-0.1/rules/radixtree.h,
52
                    GMLMIP-0.1/rules/setofconclusions.h,
53
                    GMLMIP-0.1/rules/valuation.h,
54
                    GMLMIP-0.1/rules/PML_premise.h,
55
                    GMLMIP-0.1/rules/sizefunctions.h,
56
                    GMLMIP-0.1/rules/GML_premise.h,
57
                    GMLMIP-0.1/parser/stack.h,
58
                    GMLMIP-0.1/parser/mlf-driver.h,
59
                    GMLMIP-0.1/parser/mlf-parser.tab.h,
60
                    GMLMIP-0.1/parser/lex.yy.h,
61
                    GMLMIP-0.1/parser/location.h,
62
                    GMLMIP-0.1/parser/position.h,
63
                    GMLMIP-0.1/formulas/satisfyingassignment.h,
64
                    GMLMIP-0.1/formulas/GML_formula.h,
65
                    GMLMIP-0.1/formulas/formula.h,
66
                    GMLMIP-0.1/formulas/PML_formula.h,
67
                    GMLMIP-0.1/formulas/rational.h,
68
                    GMLMIP-0.1/satisfyingstack.h
69
  InternalModules:  ALCFormula, ALCGraph, ALCMisc, CoAlgLogicUtils,
70
                    CoAlgLogics, HashConsing, MiscSolver, AltGenlex, Gmlmip,
71
                    Minisat
72
  Modules:          CoAlgMisc,
73
                    CoAlgFormula,
74
                    CoolUtils,
75
                    GenAndComp,
76
                    CoAlgReasoner,
77
                    FunctorParsing,
78
                    FuzzyALCABox,
79
                    FuzzyALCReasoner
80

    
81
Library interfacencurses
82
  CompiledObject:   native
83
  Path:             src/ncurses
84
  BuildTools:       ocamlbuild
85
  CCLib: -lm -lcurses -lreadline
86

    
87
  # Warning: we use C++ sources in .c files because oasis does not recognize
88
  # cpp-files
89
  NativeOpt:        -cc g++
90
  ByteOpt:        -cc g++
91
  CCOpt: -std=c++98 -x c++
92
  CSources:         Curses_stub.c, Readline_stub.c
93
  #InternalModules:
94
  Modules:          Curses, Readline, NCUI
95

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

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

    
120
Executable "fuzzytest"
121
  CompiledObject:	native
122
  Path:				src/fuzzy/
123
  BuildTools:       ocamlbuild
124
  MainIs:           fuzzytest.ml
125
  BuildDepends:     libcool
126
  NativeOpt:        -cc g++
127
  ByteOpt:        -cc g++
128
  CCOpt: -std=c++98 -x c++
129
  if flag(static)
130
    CCLib:            -static
131

    
132
Executable "cool-owl"
133
  CompiledObject:   native
134
  Path:             src/owl/
135
  BuildTools:       ocamlbuild
136
  MainIs:           cool-owl.ml
137
  BuildDepends:     libcool
138
  NativeOpt:        -cc g++
139
  ByteOpt:        -cc g++
140
  CCOpt: -std=c++98 -x c++
141
  if flag(static)
142
    CCLib:            -static
143

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

    
156
Executable testsuite
157
  CompiledObject:   native
158
  Path:             src/testsuite/
159
  BuildTools:       ocamlbuild
160
  MainIs:           cool-testsuite.ml
161
  BuildDepends:     libcool
162
  NativeOpt:        -cc g++
163
  ByteOpt:        -cc g++
164
  CCOpt: -std=c++98 -x c++
165
  if flag(static)
166
    CCLib:            -static
167

    
168
Executable replexample
169
  CompiledObject:   native
170
  Path:             src/repl-example
171
  BuildTools:       ocamlbuild
172
  MainIs:           repl-example.ml
173
  BuildDepends:     interfacencurses
174
  NativeOpt:        -cc g++
175
  ByteOpt:        -cc g++
176
  CCOpt: -std=c++98 -x c++
177
  if flag(static)
178
    CCLib:            -static
179

    
180

    
181
# some cabal similar syntax, so steal its syntax highlighting
182
# vim: ft=cabal