summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk/camltk
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2007-11-22 19:01:50 +0000
committerDamien Doligez <damien.doligez-inria.fr>2007-11-22 19:01:50 +0000
commit16e4a6819720ea32f4c0fcc4c8bd344b19d29a72 (patch)
treea356f8091557d4a758776d88dcaa07b4cc225dc0 /otherlibs/labltk/camltk
parentd0f5ecfa76396b2d6fef3bd2113c9dcec279cfe3 (diff)
PR#4243 partial solution
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8615 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/camltk')
-rw-r--r--otherlibs/labltk/camltk/Makefile.gen7
1 files changed, 5 insertions, 2 deletions
diff --git a/otherlibs/labltk/camltk/Makefile.gen b/otherlibs/labltk/camltk/Makefile.gen
index cbdb29808..b0ad4c462 100644
--- a/otherlibs/labltk/camltk/Makefile.gen
+++ b/otherlibs/labltk/camltk/Makefile.gen
@@ -5,7 +5,9 @@ all: cTk.ml camltk.ml .depend
_tkgen.ml: ../Widgets.src ../compiler/tkcompiler$(EXE)
cd ..; $(CAMLRUNGEN) compiler/tkcompiler$(EXE) -camltk -outdir camltk
-cTk.ml camltk.ml .depend: _tkgen.ml ../builtin/report.ml ../compiler/pp$(EXE) #../builtin/builtin_*.ml
+cTk.ml camltk.ml .depend: generate
+
+generate: _tkgen.ml ../builtin/report.ml ../compiler/pp$(EXE) #../builtin/builtin_*.ml
(echo '##define CAMLTK'; \
echo 'include Camltkwrap'; \
echo 'open Widget'; \
@@ -45,5 +47,6 @@ cTk.ml camltk.ml .depend: _tkgen.ml ../builtin/report.ml ../compiler/pp$(EXE) #.
# All .{ml,mli} files are generated in this directory
clean:
rm -f *.cm* *.ml *.mli *.$(O) *.$(A) .depend
-
# rm -f modules
+
+.PHONY: all generate clean