diff options
Diffstat (limited to 'otherlibs/labltk/camltk/Makefile.gen')
| -rw-r--r-- | otherlibs/labltk/camltk/Makefile.gen | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/otherlibs/labltk/camltk/Makefile.gen b/otherlibs/labltk/camltk/Makefile.gen deleted file mode 100644 index 1e4f50a10a..0000000000 --- a/otherlibs/labltk/camltk/Makefile.gen +++ /dev/null @@ -1,46 +0,0 @@ -include ../support/Makefile.common - -all: cTk.ml camltk.ml .depend - -_tkgen.ml: ../Widgets.src ../compiler/tkcompiler - cd ..; ../../boot/ocamlrun compiler/tkcompiler -camltk -outdir camltk - -cTk.ml camltk.ml .depend: _tkgen.ml ../builtin/report.ml ../compiler/pp #../builtin/builtin_*.ml - (echo '##define CAMLTK'; \ - echo 'include Camltkwrap'; \ - echo 'open Widget'; \ - echo 'open Protocol'; \ - echo 'open Textvariable'; \ - echo ; \ - cat ../builtin/report.ml; \ - echo ; \ - cat ../builtin/builtin_*.ml; \ - echo ; \ - cat _tkgen.ml; \ - echo ; \ - echo ; \ - echo 'module Tkintf = struct'; \ - cat ../builtin/builtini_*.ml; \ - cat _tkigen.ml; \ - echo 'end (* module Tkintf *)'; \ - echo ; \ - echo ; \ - echo 'open Tkintf' ;\ - echo ; \ - echo ; \ - cat ../builtin/builtinf_*.ml; \ - cat _tkfgen.ml; \ - echo ; \ - ) > _cTk.ml - ../../../boot/ocamlrun ../compiler/pp < _cTk.ml > cTk.ml - rm -f _cTk.ml - $(CAMLDEP) -I ../support [a-z]*.mli [a-z]*.ml > .depend - -../compiler/pp: - cd ../compiler; $(MAKE) pp - -# All .{ml,mli} files are generated in this directory -clean: - rm -f *.cm* *.ml *.mli *.o *.a .depend - -# rm -f modules |