diff options
Diffstat (limited to 'trunk/examples/Makefile')
| -rw-r--r-- | trunk/examples/Makefile | 29 |
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 |