diff src/settings.sig @ 1871:c3119c263bd3

Add -ccompiler command line argument This allows user to overwrite the compiler set during the configure phase
author Sergey Mironov <grrwlf@gmail.com>
date Tue, 20 Aug 2013 17:13:50 +0400
parents e15234fbb163
children df6a040f5389
line wrap: on
line diff
--- a/src/settings.sig	Tue Oct 01 07:33:20 2013 -0400
+++ b/src/settings.sig	Tue Aug 20 17:13:50 2013 +0400
@@ -256,4 +256,7 @@
 
     val setTimeFormat : string -> unit
     val getTimeFormat : unit -> string
+
+	val getCCompiler : unit -> string
+	val setCCompiler : string -> unit
 end