Project

General

Profile

Statistics
| Branch: | Revision:

cool / _oasis @ master

History | View | Annotate | Download (4.72 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
                    FunctorParsing
40 7c4d2eb4 Thorsten Wißmann
41 c14c011a Thorsten Wißmann
Library interfacencurses
42
  CompiledObject:   native
43
  Path:             src/ncurses
44
  BuildTools:       ocamlbuild
45
  CCLib: -lm -lcurses -lreadline
46
47
  # Warning: we use C++ sources in .c files because oasis does not recognize
48
  # cpp-files
49
  NativeOpt:        -cc g++
50
  ByteOpt:        -cc g++
51
  CCOpt: -std=c++98 -x c++
52
  CSources:         Curses_stub.c, Readline_stub.c
53
  #InternalModules:
54 8c423c7a Thorsten Wißmann
  Modules:          Curses, Readline, NCUI
55 7c4d2eb4 Thorsten Wißmann
56
Executable coalg
57
  CompiledObject:   native
58
  Path:             src/coalg/
59
  BuildTools:       ocamlbuild
60
  MainIs:           coalg.ml
61
  BuildDepends:     libcool
62 21e4bb67 Thorsten Wißmann
  NativeOpt:        -cc g++
63
  ByteOpt:        -cc g++
64
  CCOpt: -std=c++98 -x c++
65 59b6a7fd Thorsten Wißmann
  if flag(static)
66 1ecf0388 Christoph Egger
    CCLib:            -static -ltinfo -lgpm -lz -ldl -lltdl
67 aad01c19 Thorsten Wißmann
68 7f2800d0 Thorsten Wißmann
Executable "cool-owl"
69
  CompiledObject:   native
70
  Path:             src/owl/
71
  BuildTools:       ocamlbuild
72
  MainIs:           cool-owl.ml
73
  BuildDepends:     libcool
74 21e4bb67 Thorsten Wißmann
  NativeOpt:        -cc g++
75
  ByteOpt:        -cc g++
76
  CCOpt: -std=c++98 -x c++
77 59b6a7fd Thorsten Wißmann
  if flag(static)
78
    CCLib:            -static
79 7f2800d0 Thorsten Wißmann
80 f82f09b7 Thorsten Wißmann
Executable coalgcompare
81
  CompiledObject:   native
82
  Path:             src/coalgcompare/
83
  BuildTools:       ocamlbuild
84
  MainIs:           coalgcompare.ml
85
  BuildDepends:     libcool
86 21e4bb67 Thorsten Wißmann
  NativeOpt:        -cc g++
87
  ByteOpt:        -cc g++
88
  CCOpt: -std=c++98 -x c++
89 59b6a7fd Thorsten Wißmann
  if flag(static)
90
    CCLib:            -static
91 f82f09b7 Thorsten Wißmann
92 b33c1f3f Thorsten Wißmann
Executable testsuite
93
  CompiledObject:   native
94
  Path:             src/testsuite/
95
  BuildTools:       ocamlbuild
96
  MainIs:           cool-testsuite.ml
97
  BuildDepends:     libcool
98
  NativeOpt:        -cc g++
99
  ByteOpt:        -cc g++
100
  CCOpt: -std=c++98 -x c++
101
  if flag(static)
102
    CCLib:            -static
103 7f2800d0 Thorsten Wißmann
104 fbe64bb7 Hans-Peter Deifel
Test testsuite
105
  TestTools:        testsuite
106
  Command:          $testsuite
107
108 256444ba Hans-Peter Deifel
Executable unit_tests
109
  Build$: flag(tests)
110
  CompiledObject:   native
111
  Path:             src/unit-tests/
112
  BuildTools:       ocamlbuild
113
  MainIs:           cool_unit_tests.ml
114
  BuildDepends:     libcool, oUnit
115
  if flag(static)
116
    CCLib:            -static
117
118
Test unit_tests
119
  Run$: flag(tests)
120
  TestTools:        unit_tests
121
  Command:          $unit_tests
122
123 c14c011a Thorsten Wißmann
Executable replexample
124
  CompiledObject:   native
125
  Path:             src/repl-example
126
  BuildTools:       ocamlbuild
127
  MainIs:           repl-example.ml
128
  BuildDepends:     interfacencurses
129
  NativeOpt:        -cc g++
130
  ByteOpt:        -cc g++
131
  CCOpt: -std=c++98 -x c++
132
  if flag(static)
133
    CCLib:            -static
134
135 c2cc0c2e Thorsten Wißmann
Executable debugger
136
  CompiledObject:   native
137
  Path:             src/debugger/
138
  BuildTools:       ocamlbuild
139
  MainIs:           debugger.ml
140
  BuildDepends:     interfacencurses, libcool
141
  NativeOpt:        -cc g++
142
  ByteOpt:        -cc g++
143
  CCOpt: -std=c++98 -x c++
144
  if flag(static)
145 1ecf0388 Christoph Egger
    CCLib:            -static -lz -ldl -lltdl
146 c2cc0c2e Thorsten Wißmann
147 7198f96f Hans-Peter Deifel
AlphaFeatures: ocamlbuild_more_args
148
Document "cool_api"
149
  Type: ocamlbuild (0.4)
150
  BuildTools: ocamldoc, ocamlbuild
151
152
  Title: Internal API for COOL
153
  XOCamlbuildPath: src/lib
154
  XOCamlbuildExtraArgs:
155
    "-docflags '-colorize-code -short-functors -charset utf-8'"
156
  XOCamlbuildModules: CoAlgLogicUtils,
157
                      CoAlgLogics,
158
                      HashConsing,
159
                      MiscSolver,
160
                      AltGenlex,
161
                      Minisat,
162
                      CoAlgMisc,
163
                      CoAlgFormula,
164
                      CoolUtils,
165
                      GenAndComp,
166
                      CoAlgReasoner,
167
                      FunctorParsing
168 c2cc0c2e Thorsten Wißmann
169 7f2800d0 Thorsten Wißmann
170 aad01c19 Thorsten Wißmann
# some cabal similar syntax, so steal its syntax highlighting
171
# vim: ft=cabal
172 2bda8737 Hans-Peter Deifel
# Local Variables:
173
# mode: haskell-cabal
174
# End: