X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=goaljobs.mli;h=43432f162a45c319a474574adc2256bcf02ce36e;hb=d6fddcd8789aa150d8c65d45a301df2a77a0686c;hp=a6361c53693745626295234d4fa5cdd1907d2710;hpb=aa32ee4513449868d5c47a31df66a9ffabd26cba;p=goaljobs.git

diff --git a/goaljobs.mli b/goaljobs.mli
index a6361c5..43432f1 100644
--- a/goaljobs.mli
+++ b/goaljobs.mli
@@ -70,7 +70,7 @@ val target_exists : bool list -> unit
   (** [target_exists [t1; t2; ...]] is the same as writing
       [target (t1 || t2 || ...)] *)
 
-val require : (unit -> unit) -> unit
+val require : string -> (unit -> unit) -> unit
   (** [require] {i goal} defines the requirements of this goal, that
       is, other goals that have to be met before the rest of the
       goal is able to run.
@@ -343,3 +343,7 @@ val init : unit -> unit
 (* Export this so the macros can catch these exceptions. *)
 type goal_result_t = Goal_OK | Goal_failed of string
 exception Goal_result of goal_result_t
+
+(* Called to print debug message when we enter or leave a goal. *)
+val _enter_goal : string -> unit
+val _leave_goal : string -> unit