Project

General

Profile

Statistics
| Branch: | Revision:

cool / _oasis @ 2cccf57a

History | View | Annotate | Download (5.13 KB)

1 7198f96f Hans-Peter Deifel
OASISFormat:    0.4
2 bc28fc54 Hans-Peter Deifel
BuildTools:     ocamlbuild
3 7b8150bd Thorsten Wißmann
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 aad01c19 Thorsten Wißmann
13 cac42fce Thorsten Wißmann
Flag static
14
    Description: Link COOL executables statically
15
    Default:     false
16
17 7c4d2eb4 Thorsten Wißmann
Library libcool
18 aad01c19 Thorsten Wißmann
  CompiledObject:   native
19 7c4d2eb4 Thorsten Wißmann
  Path:             src/lib
20 aad01c19 Thorsten Wißmann
  BuildTools:       ocamlbuild
21 a6f9f99f Hans-Peter Deifel
  CCLib: -lminisat -lstdc++
22 c2f74310 Thorsten Wißmann
23
  # Warning: we use C++ sources in .c files because oasis does not recognize
24
  # cpp-files
25 21e4bb67 Thorsten Wißmann
  NativeOpt:        -cc g++
26
  ByteOpt:        -cc g++
27 7c4d2eb4 Thorsten Wißmann
  CCOpt: -std=c++98 -x c++
28 7451cccf Hans-Peter Deifel
  # 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 c4aee922 Hans-Peter Deifel
  CSources:         minisat_stub.c
31 ed3a7d47 Thorsten Wißmann
  InternalModules:  ALCFormula, ALCGraph, ALCMisc, CoAlgLogicUtils,
32 c4aee922 Hans-Peter Deifel
                    CoAlgLogics, HashConsing, MiscSolver, AltGenlex,
33 ed3a7d47 Thorsten Wißmann
                    Minisat
34 7c4d2eb4 Thorsten Wißmann
  Modules:          CoAlgMisc,
35
                    CoAlgFormula,
36
                    CoolUtils,
37
                    GenAndComp,
38 3879f710 Thorsten Wißmann
                    CoAlgReasoner,
39 af6ede09 Hans-Peter Deifel
                    FocusTracking,
40
                    CoolGraph,
41 3879f710 Thorsten Wißmann
                    FunctorParsing
42 7c4d2eb4 Thorsten Wißmann
43 c14c011a Thorsten Wißmann
Library interfacencurses
44
  CompiledObject:   native
45
  Path:             src/ncurses
46
  BuildTools:       ocamlbuild
47 2cccf57a Hans-Peter Deifel
  CCLib: -lm -lreadline -lcurses -ltinfo -lgpm
48 c14c011a Thorsten Wißmann
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 8c423c7a Thorsten Wißmann
  Modules:          Curses, Readline, NCUI
57 7c4d2eb4 Thorsten Wißmann
58
Executable coalg
59
  CompiledObject:   native
60
  Path:             src/coalg/
61
  BuildTools:       ocamlbuild
62
  MainIs:           coalg.ml
63
  BuildDepends:     libcool
64 21e4bb67 Thorsten Wißmann
  NativeOpt:        -cc g++
65
  ByteOpt:        -cc g++
66
  CCOpt: -std=c++98 -x c++
67 59b6a7fd Thorsten Wißmann
  if flag(static)
68 1ecf0388 Christoph Egger
    CCLib:            -static -ltinfo -lgpm -lz -ldl -lltdl
69 aad01c19 Thorsten Wißmann
70 867cefeb Hans-Peter Deifel
Executable gen
71
  CompiledObject:   native
72 994d7911 Hans-Peter Deifel
  Path:             benchmarks/aconjunctive_mu
73 867cefeb Hans-Peter Deifel
  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 7f2800d0 Thorsten Wißmann
Executable "cool-owl"
83
  CompiledObject:   native
84
  Path:             src/owl/
85
  BuildTools:       ocamlbuild
86
  MainIs:           cool-owl.ml
87
  BuildDepends:     libcool
88 21e4bb67 Thorsten Wißmann
  NativeOpt:        -cc g++
89
  ByteOpt:        -cc g++
90
  CCOpt: -std=c++98 -x c++
91 59b6a7fd Thorsten Wißmann
  if flag(static)
92
    CCLib:            -static
93 7f2800d0 Thorsten Wißmann
94 f82f09b7 Thorsten Wißmann
Executable coalgcompare
95
  CompiledObject:   native
96
  Path:             src/coalgcompare/
97
  BuildTools:       ocamlbuild
98
  MainIs:           coalgcompare.ml
99
  BuildDepends:     libcool
100 21e4bb67 Thorsten Wißmann
  NativeOpt:        -cc g++
101
  ByteOpt:        -cc g++
102
  CCOpt: -std=c++98 -x c++
103 59b6a7fd Thorsten Wißmann
  if flag(static)
104
    CCLib:            -static
105 f82f09b7 Thorsten Wißmann
106 b33c1f3f Thorsten Wißmann
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 7f2800d0 Thorsten Wißmann
118 fbe64bb7 Hans-Peter Deifel
Test testsuite
119
  TestTools:        testsuite
120
  Command:          $testsuite
121
122 256444ba Hans-Peter Deifel
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 c14c011a Thorsten Wißmann
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 c2cc0c2e Thorsten Wißmann
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 1ecf0388 Christoph Egger
    CCLib:            -static -lz -ldl -lltdl
160 c2cc0c2e Thorsten Wißmann
161 7198f96f Hans-Peter Deifel
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 c2cc0c2e Thorsten Wißmann
183 aad01c19 Thorsten Wißmann
# some cabal similar syntax, so steal its syntax highlighting
184
# vim: ft=cabal
185 2bda8737 Hans-Peter Deifel
# Local Variables:
186
# mode: haskell-cabal
187
# End: