diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2007-11-22 19:01:50 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2007-11-22 19:01:50 +0000 |
commit | 16e4a6819720ea32f4c0fcc4c8bd344b19d29a72 (patch) | |
tree | a356f8091557d4a758776d88dcaa07b4cc225dc0 /otherlibs/labltk/camltk | |
parent | d0f5ecfa76396b2d6fef3bd2113c9dcec279cfe3 (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.gen | 7 |
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 |