summaryrefslogtreecommitdiff
path: root/otherlibs/labltk/support/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'otherlibs/labltk/support/Makefile')
-rw-r--r--otherlibs/labltk/support/Makefile56
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