Project

General

Profile

Statistics
| Branch: | Revision:

cool / _oasis @ 0fe95cdc

History | View | Annotate | Download (2.1 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
Executable coalg
9
  CompiledObject:   native
10
  Path:             src
11
  BuildTools:       ocamlbuild
12
  BuildDepends:     ocamlgraph,
13
                    unix,
14
                    str
15
  MainIs:           coalg.ml
16
  CCOpt: -std=c++98 -x c++
17
  CCLib: -lminisat -lstdc++ -lbdd -lm -lglpk
18

    
19
  # Warning: we use C++ sources in .c files because oasis does not recognize
20
  # cpp-files
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

    
52
# some cabal similar syntax, so steal its syntax highlighting
53
# vim: ft=cabal