summaryrefslogtreecommitdiff
path: root/src/settings.sig
diff options
context:
space:
mode:
authorGravatar Eran Meir <eranmeir@gmail.com>2016-01-02 13:56:35 +0200
committerGravatar Eran Meir <eranmeir@gmail.com>2016-01-02 13:59:41 +0200
commit6747f5ff7d80001f112fd23af51a1275471f5bf0 (patch)
treeed4744430468c99054572d3dfa04e68a3575816b /src/settings.sig
parent93cb1ae6e054471a464637a89fe8def57617487b (diff)
Untagle boot and static flags
Boot flag should build a dynamic executable but link urweb libraries statically (from build tree). This should fix the problem of not being able to build static executables on OSX.
Diffstat (limited to 'src/settings.sig')
-rw-r--r--src/settings.sig3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/settings.sig b/src/settings.sig
index 732a31fa..c75f12a3 100644
--- a/src/settings.sig
+++ b/src/settings.sig
@@ -238,6 +238,9 @@ signature SETTINGS = sig
val setStaticLinking : bool -> unit
val getStaticLinking : unit -> bool
+ val setBootLinking : bool -> unit
+ val getBootLinking : unit -> bool
+
val setDeadlines : bool -> unit
val getDeadlines : unit -> bool