diff options
Diffstat (limited to 'otherlibs/labltk/support/Makefile')
-rw-r--r-- | otherlibs/labltk/support/Makefile | 56 |
1 files changed, 56 insertions, 0 deletions
diff --git a/otherlibs/labltk/support/Makefile b/otherlibs/labltk/support/Makefile new file mode 100644 index 0000000000..23a7f46948 --- /dev/null +++ b/otherlibs/labltk/support/Makefile @@ -0,0 +1,56 @@ +include ../Makefile.config + +all: support.cmo widget.cmo protocol.cmo \ + textvariable.cmo timer.cmo fileevent.cmo \ + liblabltk41.a + +opt: support.cmx widget.cmx protocol.cmx \ + textvariable.cmx timer.cmx fileevent.cmx \ + liblabltk41.a + +COBJS=cltkCaml.o cltkEval.o cltkEvent.o cltkFile.o cltkMain.o \ + cltkMisc.o cltkTimer.o cltkVar.o cltkWait.o + +#CCFLAGS=-ccopt -g $(TKINCLUDES) +CCFLAGS=$(TKINCLUDES) + +liblabltk41.a : $(COBJS) + rm -f liblabltk41.a + ar rc liblabltk41.a $(COBJS) + $(RANLIB) liblabltk41.a + +PUB=fileevent.cmi fileevent.mli \ + protocol.cmi protocol.mli \ + textvariable.cmi textvariable.mli \ + timer.cmi timer.mli \ + widget.cmi widget.mli + +install: liblabltk41.a $(PUB) + if test -d $(INSTALLDIR); then : ; else mkdir $(INSTALLDIR); fi + cp $(PUB) $(INSTALLDIR) + cp liblabltk41.a $(INSTALLDIR) + cd $(INSTALLDIR); chmod 644 $(PUB) liblabltk41.a + $(RANLIB) $(INSTALLDIR)/liblabltk41.a + +clean : + rm -f *.cm* *.o *.a + +.SUFFIXES : +.SUFFIXES : .mli .ml .cmi .cmo .cmx .mlp .c .o + +.mli.cmi: + $(LABLCOMP) $(COMPFLAGS) $< + +.ml.cmo: + $(LABLCOMP) $(COMPFLAGS) $< + +.ml.cmx: + $(CAMLOPT) -c $(COMPFLAGS) $< + +.c.o: + $(LABLCOMP) $(CCFLAGS) $< + +depend: + $(LABLDEP) *.mli *.ml > .depend + +include .depend |