From 93717e0b2c10f79f0456db95a1ab018d15cdbc41 Mon Sep 17 00:00:00 2001
From: hattenberger
Date: Mon, 3 Jan 2011 17:39:47 +0000
Subject: Update the latest version of ivy-ocaml

---
 examples/Makefile | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'examples/Makefile')

diff --git a/examples/Makefile b/examples/Makefile
index fe4cb48..d110fd0 100644
--- a/examples/Makefile
+++ b/examples/Makefile
@@ -5,6 +5,8 @@ OCAMLMLI = ocamlc -I ..
 OCAMLOPT = ocamlopt
 OCAMLDEP=ocamldep
 
+all: ivyprobe.out glibivyprobe.out
+
 ivyprobe.out : ivyprobe.cmo ivyivyprobe.cmo
 	$(OCAMLC) -custom -o $@ unix.cma ivy-ocaml.cma $^
 
-- 
cgit v1.1