--- carat/carat/Makefile	2004-04-28 02:56:05.825078192 +0200
+++ Makefile.carat.ok	2004-04-28 02:54:05.274404680 +0200
@@ -69,9 +69,8 @@
      Tools\
      Voronoi\
      Zassen\
      ZZ\
-     Gmp\
      Executables
 
 Autgrp: Makefile functions/Autgrp/Makefile
 	cd functions/Autgrp; make CC="$(CC)" CFLAGS="$(CFLAGS)" TOPDIR=$(TOPDIR)
@@ -102,10 +101,8 @@
 
 Links:
 	cd tables/symbol; make
 	cd lib ; rm -f libfunctions.a ; ln -f -s functions.a libfunctions.a
-	rm -f $(TOPDIR)/functions/Gmp/m_alloc.h
-	ln -f -s $(TOPDIR)/include/m_alloc.h $(TOPDIR)/functions/Gmp/m_alloc.h
 
 Longtools: Makefile functions/Longtools/Makefile
 	cd functions/Longtools; make CC="$(CC)" CFLAGS="$(CFLAGS)" TOPDIR=$(TOPDIR)
 
@@ -150,12 +147,8 @@
 
 ZZ: Makefile functions/ZZ/Makefile
 	cd functions/ZZ; make CC="$(CC)" CFLAGS="$(CFLAGS)" TOPDIR=$(TOPDIR)
 
-Gmp: functions/Gmp/Makefile
-	cd functions/Gmp ; ./configure --prefix=../.. ;\
-         make CFLAGS="$(CFLAGS)" CC="$(CC)" libgmp.a ; mv libgmp.a ../../lib
-
 Executables: bin/Makefile
 	if $(RANLIB_TEST) ; then $(RANLIB) lib/functions.a; else true; fi
 	if $(RANLIB_TEST) ; then $(RANLIB) lib/libpresentation.a; else true; fi
 	if $(RANLIB_TEST) ; then $(RANLIB) lib/libm_alloc.a; else true; fi
@@ -185,10 +178,8 @@
 	cd functions/Tools; make clean
 	cd functions/Voronoi; make clean
 	cd functions/Zassen; make clean
 	cd functions/ZZ; make clean
-	cd functions/Gmp; make clean
-	rm -f lib/libgmp.a
 	rm -f lib/libm_alloc.a
 	rm -f lib/libpresentation.a
 	rm -f lib/functions.a
 	rm -f lib/libgraph.a