Commit 7b8150bd authored by Thorsten Wißmann's avatar Thorsten Wißmann
Browse files

Improve _oasis file

parent 2340c194
OASISFormat: 0.4
Name: cool
Version: 0.1
Synopsis: Coalgebraic Ontology Logic solver
Authors: Florian Widmann, Thorsten Wißmann
License: GPL
OASISFormat: 0.4
Name: cool
Version: 0.1
Synopsis: Coalgebraic Ontology Logic solver
Authors: Florian Widmann, Thorsten Wißmann
Homepage: https://cal8.cs.fau.de/redmine/projects/cool/wiki
License: GPL
BuildDepends: ocamlgraph,
unix,
str
Library libcool
CompiledObject: native
Path: src/lib
BuildTools: ocamlbuild
# Dependencies:
BuildDepends: ocamlgraph,
unix,
str
CCLib: -lminisat -lstdc++ -lbdd -lm -lglpk
# Warning: we use C++ sources in .c files because oasis does not recognize
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment