## 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 |