]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/lablgl.patch
This commit was manufactured by cvs2svn to create branch 'init'.
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20001129-0.1.0 / lablgl.patch
diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/lablgl.patch b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/lablgl.patch
deleted file mode 100644 (file)
index c48de24..0000000
+++ /dev/null
@@ -1,112 +0,0 @@
-Index: Makefile
-===================================================================
-RCS file: /staff2/garrigue/repos/lablGL/Makefile,v
-retrieving revision 1.33
-retrieving revision 1.34
-diff -c -r1.33 -r1.34
-*** Makefile   1998/09/17 03:16:06     1.33
---- Makefile   1999/06/18 07:39:08     1.34
-***************
-*** 12,22 ****
-  OTHERLIBS=-L$(LABLTKDIR) -llabltk41 $(LIBS)
-  
-  # Files
-! MLOBJS =     raw.cmo         togl.cmo \
-               gl.cmo          glLight.cmo     glList.cmo      glMap.cmo \
-               glMat.cmo       glMisc.cmo      glPix.cmo       glClear.cmo \
-               glTex.cmo       glDraw.cmo      glFunc.cmo      gluMisc.cmo \
-               gluNurbs.cmo    gluQuadric.cmo  gluTess.cmo     gluMat.cmo
-  OPTOBJS = $(MLOBJS:.cmo=.cmx)
-  COBJS =              ml_gl.o         ml_glu.o        ml_togl.o       ml_raw.o \
-               $(TOGLDIR)/togl.o
---- 12,23 ----
-  OTHERLIBS=-L$(LABLTKDIR) -llabltk41 $(LIBS)
-  
-  # Files
-! LIBOBJS =    raw.cmo \
-               gl.cmo          glLight.cmo     glList.cmo      glMap.cmo \
-               glMat.cmo       glMisc.cmo      glPix.cmo       glClear.cmo \
-               glTex.cmo       glDraw.cmo      glFunc.cmo      gluMisc.cmo \
-               gluNurbs.cmo    gluQuadric.cmo  gluTess.cmo     gluMat.cmo
-+ MLOBJS = $(LIBOBJS)  togl.cmo
-  OPTOBJS = $(MLOBJS:.cmo=.cmx)
-  COBJS =              ml_gl.o         ml_glu.o        ml_togl.o       ml_raw.o \
-               $(TOGLDIR)/togl.o
-***************
-*** 53,60 ****
-  var2switch: var2switch.cmo
-       $(LINKER) var2switch.cmo -o $@
-  
-! lablgl.cma: $(MLOBJS)
-!      $(LIBRARIAN) -o lablgl.cma $(MLOBJS)
-  
-  lablgl.cmxa: $(OPTOBJS)
-       $(OPTLIB) -o lablgl.cmxa $(OPTOBJS)
---- 54,61 ----
-  var2switch: var2switch.cmo
-       $(LINKER) var2switch.cmo -o $@
-  
-! lablgl.cma: $(LIBOBJS)
-!      $(LIBRARIAN) -o lablgl.cma $(LIBOBJS)
-  
-  lablgl.cmxa: $(OPTOBJS)
-       $(OPTLIB) -o lablgl.cmxa $(OPTOBJS)
-***************
-*** 66,74 ****
-  $(TOGLDIR)/togl.o:
-       cd $(TOGLDIR) && $(MAKE) togl.o
-  
-! lablgltop: lablgl.cma liblablgl.a
-       olablmktop $(OLABLINC) -custom -o lablgltop \
-!              unix.cma tk41.cma lablgl.cma \
-               -cclib "-L. -llablgl -lunix $(OTHERLIBS)"
-  
-  lablgl: lablgl.in Makefile.config
---- 67,75 ----
-  $(TOGLDIR)/togl.o:
-       cd $(TOGLDIR) && $(MAKE) togl.o
-  
-! lablgltop: lablgl.cma togl.cmo liblablgl.a
-       olablmktop $(OLABLINC) -custom -o lablgltop \
-!              unix.cma tk41.cma lablgl.cma togl.cmo \
-               -cclib "-L. -llablgl -lunix $(OTHERLIBS)"
-  
-  lablgl: lablgl.in Makefile.config
-***************
-*** 107,113 ****
-       if test -d $(INSTALLDIR); then : ; else mkdir -p $(INSTALLDIR); fi
-       cp $(MLOBJS:.cmo=.cmi) $(INSTALLDIR)
-       cp $(MLOBJS:.cmo=.mli) $(INSTALLDIR)
-!      cp lablgl.cma liblablgl.a $(INSTALLDIR)
-       cp lablgltop $(INSTALLDIR)
-       cp lablgl lablgllink $(BINDIR)
-       if test -f lablgl.cmxa; then : ; \
---- 108,114 ----
-       if test -d $(INSTALLDIR); then : ; else mkdir -p $(INSTALLDIR); fi
-       cp $(MLOBJS:.cmo=.cmi) $(INSTALLDIR)
-       cp $(MLOBJS:.cmo=.mli) $(INSTALLDIR)
-!      cp lablgl.cma togl.cmo liblablgl.a $(INSTALLDIR)
-       cp lablgltop $(INSTALLDIR)
-       cp lablgl lablgllink $(BINDIR)
-       if test -f lablgl.cmxa; then : ; \
-Index: lablgllink.in
-===================================================================
-RCS file: /staff2/garrigue/repos/lablGL/lablgllink.in,v
-retrieving revision 1.2
-retrieving revision 1.3
-diff -c -r1.2 -r1.3
-*** lablgllink.in      1998/09/16 10:26:17     1.2
---- lablgllink.in      1999/06/18 07:39:09     1.3
-***************
-*** 1,5 ****
-  #!/bin/sh
-  
-  exec olablc -custom @INCLUDES@ -I @INSTALLDIR@ \
-!      tk41.cma lablgl.cma $* -cclib "-L@INSTALLDIR@ -llablgl" \
-       -cclib "@OTHERLIBS@"
---- 1,5 ----
-  #!/bin/sh
-  
-  exec olablc -custom @INCLUDES@ -I @INSTALLDIR@ \
-!      tk41.cma lablgl.cma togl.cmo $* -cclib "-L@INSTALLDIR@ -llablgl" \
-       -cclib "@OTHERLIBS@"