Project

General

Profile

Statistics
| Branch: | Revision:

cool / _oasis @ 7c4d2eb4

History | View | Annotate | Download (2.46 KB)

1
OASISFormat: 0.4
2
Name:        cool
3
Version:     0.1
4
Synopsis:    Coalgebraic Ontology Logic solver
5
Authors:     Florian Widmann, Thorsten WiƟmann
6
License:     GPL
7

    
8
Library libcool
9
  CompiledObject:   native
10
  Path:             src/lib
11
  BuildTools:       ocamlbuild
12
  # Dependencies:
13
  BuildDepends:     ocamlgraph,
14
                    unix,
15
                    str
16
  CCLib: -lminisat -lstdc++ -lbdd -lm -lglpk
17

    
18
  # Warning: we use C++ sources in .c files because oasis does not recognize
19
  # cpp-files
20
  CCOpt: -std=c++98 -x c++
21
  CSources:         gmlmip_stub.c,
22
                    minisat_stub.c,
23
                    GMLMIP-0.1/formulas/rational.h,
24
                    GMLMIP-0.1/satisfyingstack.h,
25
                    GMLMIP-0.1/onestep.h,
26
                    GMLMIP-0.1/onestep.c,
27
                    GMLMIP-0.1/formulas/formula.h,
28
                    GMLMIP-0.1/formulas/formula.c,
29
                    GMLMIP-0.1/formulas/GML_formula.h,
30
                    GMLMIP-0.1/formulas/GML_formula.c,
31
                    GMLMIP-0.1/formulas/PML_formula.h,
32
                    GMLMIP-0.1/formulas/PML_formula.c,
33
                    GMLMIP-0.1/formulas/rational.h,
34
                    GMLMIP-0.1/formulas/rational.c,
35
                    GMLMIP-0.1/formulas/satisfyingassignment.h,
36
                    GMLMIP-0.1/formulas/satisfyingassignment.c,
37
                    GMLMIP-0.1/rules/premise.h,
38
                    GMLMIP-0.1/rules/premise.c,
39
                    GMLMIP-0.1/rules/GML_premise.h,
40
                    GMLMIP-0.1/rules/GML_premise.c,
41
                    GMLMIP-0.1/rules/PML_premise.h,
42
                    GMLMIP-0.1/rules/PML_premise.c,
43
                    GMLMIP-0.1/rules/valuation.h,
44
                    GMLMIP-0.1/rules/valuation.c,
45
                    GMLMIP-0.1/rules/setofconclusions.h,
46
                    GMLMIP-0.1/rules/setofconclusions.c,
47
                    GMLMIP-0.1/rules/sizefunctions.h,
48
                    GMLMIP-0.1/rules/sizefunctions.c,
49
                    GMLMIP-0.1/rules/radixtree.h,
50
                    GMLMIP-0.1/rules/radixtree.c
51
  InternalModules:  CoAlgLogicUtils, CoAlgLogics
52
  Modules:          CoAlgMisc,
53
                    CoAlgFormula,
54
                    CoolUtils,
55
                    GenAndComp,
56
                    CoAlgReasoner
57

    
58

    
59
Executable coalg
60
  CompiledObject:   native
61
  Path:             src/coalg/
62
  BuildTools:       ocamlbuild
63
  MainIs:           coalg.ml
64
  BuildDepends:     libcool
65

    
66
# some cabal similar syntax, so steal its syntax highlighting
67
# vim: ft=cabal