aboutsummaryrefslogtreecommitdiff
path: root/examples/Makefile
diff options
context:
space:
mode:
authorgautier.hattenberger2015-01-07 14:36:00 +0000
committergautier.hattenberger2015-01-07 14:36:00 +0000
commit63edf4eeb3b8063bf9541dbc611dde73abf4ca56 (patch)
treef7dcea082b0ca673dab3caafa09f67334f3ff1b7 /examples/Makefile
parent5d51a16a065caa3cd74d7be4bc9a525d205d8746 (diff)
downloadivy-ocaml-63edf4eeb3b8063bf9541dbc611dde73abf4ca56.zip
ivy-ocaml-63edf4eeb3b8063bf9541dbc611dde73abf4ca56.tar.gz
ivy-ocaml-63edf4eeb3b8063bf9541dbc611dde73abf4ca56.tar.bz2
ivy-ocaml-63edf4eeb3b8063bf9541dbc611dde73abf4ca56.tar.xz
fix ctkivy and add tk part to makefile again
Diffstat (limited to 'examples/Makefile')
-rw-r--r--examples/Makefile18
1 files changed, 10 insertions, 8 deletions
diff --git a/examples/Makefile b/examples/Makefile
index d110fd0..a25375e 100644
--- a/examples/Makefile
+++ b/examples/Makefile
@@ -1,11 +1,11 @@
# $Id$
-OCAMLC = ocamlc -I ..
-OCAMLMLI = ocamlc -I ..
-OCAMLOPT = ocamlopt
-OCAMLDEP=ocamldep
+OCAMLC = ocamlfind ocamlc -I ..
+OCAMLMLI = ocamlfind ocamlc -I ..
+OCAMLOPT = ocamlfind ocamlopt
+OCAMLDEP = ocamlfind ocamldep
-all: ivyprobe.out glibivyprobe.out
+all: ivyprobe.out glibivyprobe.out tkivyprobe.out
ivyprobe.out : ivyprobe.cmo ivyivyprobe.cmo
$(OCAMLC) -custom -o $@ unix.cma ivy-ocaml.cma $^
@@ -13,9 +13,11 @@ ivyprobe.out : ivyprobe.cmo ivyivyprobe.cmo
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
+tkivyprobe.out : ivyprobe.cmo tkivyprobe.cmo
+ $(OCAMLC) -custom -o $@ unix.cma -I +labltk labltk.cma tkivy-ocaml.cma $^
+
+tkivyprobe.cmo : tkivyprobe.ml
+ $(OCAMLC) -package unix,labltk -c $<
%.cmo : %.ml
$(OCAMLC) -c $<