Commit 21e4bb67 authored by Thorsten Wißmann's avatar Thorsten Wißmann
Browse files

Use -cc g++ everywhere in oasis file

parent 85f4551b
......@@ -21,6 +21,8 @@ Library libcool
# Warning: we use C++ sources in .c files because oasis does not recognize
# cpp-files
NativeOpt: -cc g++
ByteOpt: -cc g++
CCOpt: -std=c++98 -x c++
CSources: gmlmip_stub.c,
minisat_stub.c,
......@@ -66,6 +68,9 @@ Executable coalg
BuildTools: ocamlbuild
MainIs: coalg.ml
BuildDepends: libcool
NativeOpt: -cc g++
ByteOpt: -cc g++
CCOpt: -std=c++98 -x c++
if flag(static) CCLib: -static
Executable "cool-owl"
......@@ -74,6 +79,9 @@ Executable "cool-owl"
BuildTools: ocamlbuild
MainIs: cool-owl.ml
BuildDepends: libcool
NativeOpt: -cc g++
ByteOpt: -cc g++
CCOpt: -std=c++98 -x c++
if flag(static) CCLib: -static
Executable coalgcompare
......@@ -82,6 +90,9 @@ Executable coalgcompare
BuildTools: ocamlbuild
MainIs: coalgcompare.ml
BuildDepends: libcool
NativeOpt: -cc g++
ByteOpt: -cc g++
CCOpt: -std=c++98 -x c++
if flag(static) CCLib: -static
......
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