make foo.gui instead of make foo to call whyide

a43e3256 · Jean-Christophe Filliâtre · 805cbfd5 · a43e3256
Commit a43e3256 authored Nov 05, 2010 by Jean-Christophe Filliâtre
Hide whitespace changes
Inline Side-by-side

Showing with 5 additions and 2 deletions

Makefile.in Makefile.in +5 -2

No files found.
--- a/Makefile.in
+++ b/Makefile.in
@@ -323,8 +323,11 @@ clean::

 # test target

-%: %.mlw bin/whyide.opt
-	bin/whyide.opt $*.mlw
+%.gui: %.why bin/whyide.opt
+	bin/whyide.opt $*.why
+
+%.gui: %.mlw bin/whyide.opt
+	bin/whydb.opt $*.mlw

 install_no_local::
 	cp -f bin/whyml.@OCAMLBEST@ $(BINDIR)/why3ml