From 0fe95cdc41d5c240a041140192c7596bdcc006c3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <uni@thorsten-wissmann.de>
Date: Wed, 23 Apr 2014 10:20:30 +0200
Subject: [PATCH] Minor _oasis file cleanups
---
_oasis | 12 +++++-------
1 file changed, 5 insertions(+), 7 deletions(-)
diff --git a/_oasis b/_oasis
index 5850f50..66e84c5 100644
--- a/_oasis
+++ b/_oasis
@@ -5,13 +5,16 @@ Synopsis: Coalgebraic Ontology Logic solver
Authors: Florian Widmann, Thorsten Wißmann
License: GPL
-# main frontend
Executable coalg
- #Build$: flag(is_native)
CompiledObject: native
Path: src
BuildTools: ocamlbuild
+ BuildDepends: ocamlgraph,
+ unix,
+ str
MainIs: coalg.ml
+ CCOpt: -std=c++98 -x c++
+ CCLib: -lminisat -lstdc++ -lbdd -lm -lglpk
# Warning: we use C++ sources in .c files because oasis does not recognize
# cpp-files
@@ -45,11 +48,6 @@ Executable coalg
GMLMIP-0.1/rules/sizefunctions.c,
GMLMIP-0.1/rules/radixtree.h,
GMLMIP-0.1/rules/radixtree.c
- BuildDepends: ocamlgraph,
- unix,
- str
- CCOpt: -std=c++98 -x c++
- CCLib: -lminisat -lstdc++ -lbdd -lm -lglpk
# some cabal similar syntax, so steal its syntax highlighting
# vim: ft=cabal
--
GitLab