diff --git a/_oasis b/_oasis
index 5850f50b19b1f6d4ddb6209ea270b6139742cf9e..66e84c5bd5f65d4e9ac35b1cc40770ac7bbcd013 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