aboutsummaryrefslogtreecommitdiff
path: root/examples/Makefile
diff options
context:
space:
mode:
authorbuisson2005-04-29 09:35:43 +0000
committerbuisson2005-04-29 09:35:43 +0000
commit22c1e6dbe7cf74936e5ca29eadeff81312ccc506 (patch)
tree3304815b956eb5c76674fa2763d3da8a2e73394f /examples/Makefile
parent23abb4b87c7e40ed259dd02f653516f60e55ade4 (diff)
downloadivy-ocaml-22c1e6dbe7cf74936e5ca29eadeff81312ccc506.zip
ivy-ocaml-22c1e6dbe7cf74936e5ca29eadeff81312ccc506.tar.gz
ivy-ocaml-22c1e6dbe7cf74936e5ca29eadeff81312ccc506.tar.bz2
ivy-ocaml-22c1e6dbe7cf74936e5ca29eadeff81312ccc506.tar.xz
Initial revision
Diffstat (limited to 'examples/Makefile')
-rw-r--r--examples/Makefile27
1 files changed, 27 insertions, 0 deletions
diff --git a/examples/Makefile b/examples/Makefile
new file mode 100644
index 0000000..fe4cb48
--- /dev/null
+++ b/examples/Makefile
@@ -0,0 +1,27 @@
+# $Id$
+
+OCAMLC = ocamlc -I ..
+OCAMLMLI = ocamlc -I ..
+OCAMLOPT = ocamlopt
+OCAMLDEP=ocamldep
+
+ivyprobe.out : ivyprobe.cmo ivyivyprobe.cmo
+ $(OCAMLC) -custom -o $@ unix.cma ivy-ocaml.cma $^
+
+glibivyprobe.out : ivyprobe.cmo glibivyprobe.cmo
+ $(OCAMLC) -custom -o $@ unix.cma glibivy-ocaml.cma $^
+
+#tkivyprobe.out : ivyprobe.cmo tkivyprobe.cmo
+# $(OCAMLC) -custom -o $@ unix.cma -I +labltk labltk.cma -I . $^
+#tkivyprobe.cmo : OCAMLFLAGS=-I +labltk
+
+%.cmo : %.ml
+ $(OCAMLC) -c $<
+
+clean:
+ \rm -f *.cm* *.o *.a .depend *~ *.out *.opt .depend *.so
+
+.depend:
+ $(OCAMLDEP) $(INCLUDES) *.mli *.ml > .depend
+
+include .depend