Project

General

Profile

Statistics
| Branch: | Revision:

cool / _oasis @ master

History | View | Annotate | Download (4.72 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
                    FunctorParsing
40

    
41
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
  Modules:          Curses, Readline, NCUI
55

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

    
68
Executable "cool-owl"
69
  CompiledObject:   native
70
  Path:             src/owl/
71
  BuildTools:       ocamlbuild
72
  MainIs:           cool-owl.ml
73
  BuildDepends:     libcool
74
  NativeOpt:        -cc g++
75
  ByteOpt:        -cc g++
76
  CCOpt: -std=c++98 -x c++
77
  if flag(static)
78
    CCLib:            -static
79

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

    
92
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

    
104
Test testsuite
105
  TestTools:        testsuite
106
  Command:          $testsuite
107

    
108
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
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
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
    CCLib:            -static -lz -ldl -lltdl
146

    
147
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

    
169

    
170
# some cabal similar syntax, so steal its syntax highlighting
171
# vim: ft=cabal
172
# Local Variables:
173
# mode: haskell-cabal
174
# End: