Hard code *file tactic.

diff --git a/src/eval.ml b/src/eval.ml
index 260cbd9..c6cbda1 100644 (file)
--- a/src/eval.ml
+++ b/src/eval.ml
@@ -98,7 +98,18 @@ and run_goal env loc name args (params, patterns, deps, code) =
 
 (* Return whether the target (pattern) needs to be rebuilt. *)
 and needs_rebuild env loc name deps pattern =
-  false (* XXX *)
+  match pattern with
+  | Ast.PTactic (loc, tactic, targs) ->
+     (* Resolve the targs down to constants. *)
+     let targs = List.map (Ast.substitute env loc) targs in
+     (* XXX Look up the tactic.
+      * We would do that, but for now hard code the *file tactic. XXX
+      *)
+     assert (tactic = "file");
+     assert (List.length targs = 1);
+     let targ = List.hd targs in
+     not (Sys.file_exists targ)
+  | Ast.PVar _ -> assert false (* XXX not implemented *)
 
 (* Find the goal which matches the given tactic and run it.
  * cargs is a list of parameters (all constants).

diff --git a/tests/file1.c b/tests/file1.c
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/test1.gl b/tests/test1.gl
index afdcc34..ec4011f 100644 (file)
--- a/tests/test1.gl
+++ b/tests/test1.gl
@@ -2,7 +2,8 @@
 
 goal all = : "file1.o", *file("file2.o")
 
-"file1.o" : "file1.c" {
-  echo file1.c "->" file1.o
-  touch file1.o
+goal compile (name) =
+"%name.o" : "%name.c" {
+  echo %< "->" %@
+  touch %@
 }