diff options
Diffstat (limited to 'otherlibs/labltk/camltk/Makefile')
| -rw-r--r-- | otherlibs/labltk/camltk/Makefile | 45 |
1 files changed, 0 insertions, 45 deletions
diff --git a/otherlibs/labltk/camltk/Makefile b/otherlibs/labltk/camltk/Makefile deleted file mode 100644 index afa6f3af26..0000000000 --- a/otherlibs/labltk/camltk/Makefile +++ /dev/null @@ -1,45 +0,0 @@ -include ../support/Makefile.common - -COMPFLAGS= -I ../support - -TOPDEPS = $(TOPDIR)/toplevel/toplevellib.cma $(TOPDIR)/toplevel/topmain.cmo - -all: camltkobjs - -opt: camltkobjsx - -include ./modules - -CAMLTKOBJS= $(CWIDGETOBJS) cTk.cmo camltk.cmo -CAMLTKOBJSX = $(CAMLTKOBJS:.cmo=.cmx) - -camltkobjs: $(CAMLTKOBJS) - -camltkobjsx: $(CAMLTKOBJSX) - -clean: - $(MAKE) -f Makefile.gen clean - -install: $(CAMLTKOBJS) - if test -d $(INSTALLDIR); then : ; else mkdir $(INSTALLDIR); fi - cp $(CAMLTKOBJS:.cmo=.cmi) $(CWIDGETOBJS:.cmo=.mli) $(INSTALLDIR) - chmod 644 $(INSTALLDIR)/*.cmi - -installopt: $(CAMLTKOBJSX) - @if test -d $(INSTALLDIR); then : ; else mkdir $(INSTALLDIR); fi - cp $(CAMLTKOBJSX) $(INSTALLDIR) - chmod 644 $(INSTALLDIR)/*.cmx - -.SUFFIXES : -.SUFFIXES : .mli .ml .cmi .cmx .cmo .mlp - -.mli.cmi: - $(CAMLCOMP) $(COMPFLAGS) $< - -.ml.cmo: - $(CAMLCOMP) $(COMPFLAGS) $< - -.ml.cmx: - $(CAMLOPT) -c $(COMPFLAGS) $< - -include .depend |