X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2FMakefile;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2FMakefile;h=0000000000000000000000000000000000000000;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hp=a0ac04f338e495cb840579bdeb44a0c2c33db746;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/Makefile b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/Makefile deleted file mode 100644 index a0ac04f33..000000000 --- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/Makefile +++ /dev/null @@ -1,187 +0,0 @@ -# $Id$ -# Makefile for lablgtk. - -TARGETS = varcc lablgtktop lablgtktop_t lablgtkrun lablgtk - -all: $(TARGETS) - -opt: lablgtkopt - -configure: - @rm -f config.make - @$(MAKE) --no-print-directory -f configure.mk - -depend: - @rm -f .depend - @$(MAKE) --no-print-directory -f configure.mk .depend - -.depend config.make: - @$(MAKE) --no-print-directory -f configure.mk - -COMPILER = $(CAMLC) $(MLFLAGS) -w s -labels -c -LINKER = $(CAMLC) $(MLFLAGS) -COMPOPT = $(CAMLOPT) $(MLFLAGS) -w s -labels -c -LINKOPT = $(CAMLOPT) $(MLFLAGS) -TOPLEVEL = ocamlmktop $(MLFLAGS) - -include config.make - -INSTALLDIR = $(LIBDIR)/lablgtk -LABLGLDIR = $(LIBDIR)/lablGL - -MLLIBS = lablgtk.cma -CLIBS = liblablgtk.a -MLLINK = unix.cma str.cma - -ifdef DEBUG -CFLAGS = -g $(GTKCFLAGS) -MLLINK += -cclib -lcamlrund -MLFLAGS = -g -else -CFLAGS = -O -DGTK_NO_CHECK_CASTS -DGTK_DISABLE_COMPAT_H $(GTKCFLAGS) -endif - -THFLAGS = -thread -THLINK = unix.cma threads.cma - -ifdef USE_CC -CCOMPILER = $(CC) -c -I$(LIBDIR) $(CFLAGS) -else -CCOMPILER = ocamlc -c -ccopt "$(CFLAGS)" -endif - -ifdef USE_GL -MLFLAGS += -I $(LABLGLDIR) -MLLINK += lablgl.cma -MLLIBS += lablgtkgl.cma -CLIBS += liblablgtkgl.a -GLLINK = -cclib -llablgtkgl -cclib -lgtkgl -GLMLOBJS = glGtk.cmo -GLCOBJS = ml_gtkgl.o - -endif - -ifdef USE_GNOME -MLLIBS += lablgnome.cma -CLIBS += liblablgnome.a -GNOMEMLOBJS = gtkXmHTML.cmo gHtml.cmo -GNOMECOBJS = ml_gtkxmhtml.o -endif - -# Rules -.SUFFIXES: .ml .mli .cmo .cmi .cmx .c .o .var .h .opt .def -.c.o: - $(CCOMPILER) $< -.ml.cmo: - $(COMPILER) $< -.mli.cmi: - $(COMPILER) $< -.ml.cmx: - $(COMPOPT) $< -.var.h: - ./varcc $< - -# Targets -GTKOBJS = ml_gtk.o ml_gtkbin.o ml_gtkbutton.o ml_gtkedit.o ml_gtklist.o \ - ml_gtkmenu.o ml_gtkmisc.o ml_gtknew.o ml_gtkpack.o ml_gtkrange.o \ - ml_gtktree.o -COBJS = ml_gdk.o ml_glib.o wrappers.o $(GTKOBJS) -MLOBJS = gaux.cmo gpointer.cmo glib.cmo gdk.cmo gdkEvent.cmo gdkKeysyms.cmo \ - gtk.cmo gtkArgv.cmo gtkSignal.cmo \ - gtkData.cmo gtkBase.cmo gtkPack.cmo gtkButton.cmo \ - gtkMenu.cmo gtkMisc.cmo gtkWindow.cmo gtkTree.cmo gtkList.cmo \ - gtkBin.cmo gtkEdit.cmo gtkRange.cmo gtkMain.cmo gtkNew.cmo \ - gDraw.cmo \ - gObj.cmo gMain.cmo gData.cmo gContainer.cmo gPack.cmo gButton.cmo \ - gMenu.cmo gMisc.cmo gWindow.cmo gTree.cmo gList.cmo gBin.cmo \ - gEdit.cmo gRange.cmo gUtil.cmo -THOBJS = gtkThread.cmo -INITOBJS = gtkInit.cmo -THINITOBJS = gtkThInit.cmo -ALLOBJS = $(MLOBJS) $(GLMLOBJS) $(GNOMEMLOBJS) $(THOBJS) \ - $(INITOBJS) $(THINITOBJS) - -lablgtktop: $(CLIBS) $(MLLIBS) $(INITOBJS) - $(TOPLEVEL) -o $@ $(MLLINK) -ccopt -L. $(MLLIBS) $(INITOBJS) - -lablgtktop_t: $(CLIBS) $(MLLIBS) $(THOBJS) $(INITOBJS) $(THINITOBJS) - $(TOPLEVEL) $(THFLAGS) -o $@ $(THLINK) $(MLLINK) \ - -ccopt -L. $(MLLIBS) $(THOBJS) $(INITOBJS) $(THINITOBJS) - -lablgtk: Makefile config.make lablgtk.in - sed -e "s|@INSTALLDIR@|$(INSTALLDIR)|g" \ - -e "s|@LABLGLDIR@|$(LABLGLDIR)|g" \ - -e "s|@LIBDIR@|$(LIBDIR)|g" \ - < lablgtk.in > $@ - chmod 755 $@ - -lablgtkrun: $(CLIBS) $(MLLIBS) - $(LINKER) -o $@ -make-runtime $(MLLINK) -ccopt -L. $(MLLIBS) - -lablgtkopt: $(CLIBS) $(MLLIBS:.cma=.cmxa) $(INITOBJS:.cmo=.cmx) \ - $(THOBJS:.cmo=.cmx) - -install: - if test -d $(INSTALLDIR); then : ; else mkdir -p $(INSTALLDIR); fi - cp $(ALLOBJS:.cmo=.cmi) $(INSTALLDIR) - cp *.mli $(INSTALLDIR) - cp *.h $(INSTALLDIR) - cp $(ALLOBJS:.cmo=.ml) $(INSTALLDIR) - cp $(MLLIBS) $(THOBJS) $(INITOBJS) $(THINITOBJS) $(INSTALLDIR) - cp $(CLIBS) $(INSTALLDIR) - cp lablgtktop lablgtktop_t $(INSTALLDIR) - cp lablgtk lablgtkrun $(BINDIR) - if test -f lablgtk.cmxa; then \ - cp $(MLLIBS:.cma=.cmxa) $(MLLIBS:.cma=.a) \ - $(INITOBJS:.cmo=.cmx) $(INITOBJS:.cmo=.o) $(INSTALLDIR); fi - if test -f gtkThread.cmx; then \ - cp $(THOBJS:.cmo=.cmx) $(THOBJS:.cmo=.o) $(INSTALLDIR); fi - -liblablgtk.a: $(COBJS) - ar rc $@ $(COBJS) - $(RANLIB) $@ -lablgtk.cma: $(MLOBJS) - $(LINKER) -a -custom -o $@ $(MLOBJS) \ - -cclib -llablgtk $(GTKLIBS) -lablgtk.cmxa: $(MLOBJS:.cmo=.cmx) - $(LINKOPT) -a -o $@ $(MLOBJS:.cmo=.cmx) \ - -cclib -llablgtk $(GTKLIBS) - -liblablgtkgl.a: $(GLCOBJS) - ar rc $@ $(GLCOBJS) - $(RANLIB) $@ -lablgtkgl.cma: $(GLMLOBJS) - $(LINKER) -a -custom -o $@ $(GLLINK) $(GLMLOBJS) -lablgtkgl.cmxa: $(GLMLOBJS:.cmo=.cmx) - $(LINKOPT) -a -o $@ $(GLLINK) $(GLMLOBJS:.cmo=.cmx) - -liblablgnome.a: $(GNOMECOBJS) - ar rc $@ $(GNOMECOBJS) - $(RANLIB) $@ -lablgnome.cma: $(GNOMEMLOBJS) - $(LINKER) -a -custom -o $@ $(GNOMEMLOBJS) \ - -cclib -llablgnome $(GNOMELIBS) -lablgnome.cmxa: $(GNOMEMLOBJS:.cmo=.cmx) - $(LINKOPT) -a -o $@ $(GNOMEMLOBJS:.cmo=.cmx) \ - -cclib -llablgnome $(GNOMELIBS) - -gtkThread.cmo: gtkThread.ml - $(COMPILER) $(THFLAGS) gtkThread.ml - -gtkThread.cmx: gtkThread.ml - if test -f $(LIBDIR)/libthreadsnat.a; then \ - $(COMPOPT) $(THFLAGS) gtkThread.ml; fi - -varcc: varcc.cmo - $(LINKER) -o $@ varcc.cmo - rm -f *_tags.h *_tags.c - -clean: - rm -f *.cm* *.o *.a *_tags.[ch] $(TARGETS) - -$(GTKOBJS): gtk_tags.h ml_gtk.h ml_gdk.h wrappers.h -ml_gdk.o: gdk_tags.h ml_gdk.h wrappers.h -ml_gtkgl.o: gtkgl_tags.h ml_gtk.h ml_gdk.h wrappers.h -ml_gtkxmhtml.o: gtkxmhtml_tags.h ml_gtk.h ml_gdk.h wrappers.h - -include .depend