aboutsummaryrefslogtreecommitdiff
path: root/trunk/examples/Makefile
diff options
context:
space:
mode:
authorhattenberger2013-05-01 22:48:44 +0000
committerhattenberger2013-05-01 22:48:44 +0000
commitd567e908db2e1acec01d0798bd7e8af6c084dba4 (patch)
tree6b6eb46c9ea53360eda9127e54efb22acd857bbe /trunk/examples/Makefile
parent7fae936e59d5c4a446e0c1e92e6d2df4fac5c37d (diff)
downloadivy-ocaml-d567e908db2e1acec01d0798bd7e8af6c084dba4.zip
ivy-ocaml-d567e908db2e1acec01d0798bd7e8af6c084dba4.tar.gz
ivy-ocaml-d567e908db2e1acec01d0798bd7e8af6c084dba4.tar.bz2
ivy-ocaml-d567e908db2e1acec01d0798bd7e8af6c084dba4.tar.xz
remove accidental trunk dir
Diffstat (limited to 'trunk/examples/Makefile')
-rw-r--r--trunk/examples/Makefile29
1 files changed, 0 insertions, 29 deletions
diff --git a/trunk/examples/Makefile b/trunk/examples/Makefile
deleted file mode 100644
index d110fd0..0000000
--- a/trunk/examples/Makefile
+++ /dev/null
@@ -1,29 +0,0 @@
-# $Id$
-
-OCAMLC = ocamlc -I ..
-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 $^
-
-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