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

Add build flat for static linking

parent f82f09b7
......@@ -32,6 +32,9 @@ Then compile it:
Now you have a freshly built coalg.native in the toplevel directory.
If you want the executables statically linked, then run the configure step with
the flag --enable-static.
Installation
------------
Not possible yet.
......
......@@ -9,6 +9,10 @@ BuildDepends: ocamlgraph,
unix,
str
Flag static
Description: Link COOL executables statically
Default: false
Library libcool
CompiledObject: native
Path: src/lib
......@@ -62,6 +66,7 @@ Executable coalg
BuildTools: ocamlbuild
MainIs: coalg.ml
BuildDepends: libcool
if flag(static) CCLib: -static
Executable "cool-owl"
CompiledObject: native
......@@ -69,6 +74,7 @@ Executable "cool-owl"
BuildTools: ocamlbuild
MainIs: cool-owl.ml
BuildDepends: libcool
if flag(static) CCLib: -static
Executable coalgcompare
CompiledObject: native
......@@ -76,6 +82,7 @@ Executable coalgcompare
BuildTools: ocamlbuild
MainIs: coalgcompare.ml
BuildDepends: libcool
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