#-----------------------------------------------------------------------------
-# $Id: Makefile,v 1.34 2000/08/21 15:27:18 simonmar Exp $
+# $Id: Makefile,v 1.36 2000/09/04 14:39:10 simonmar Exp $
#
# This is the Makefile for the runtime-system stuff.
# This stuff is written in C (and cannot be written in Haskell).
WARNING_OPTS += -optc-Wmissing-declarations
WARNING_OPTS += -optc-Winline
WARNING_OPTS += -optc-Waggregate-return
-WARNING_OPTS += -optc-Wpointer-arith
+#WARNING_OPTS += -optc-Wpointer-arith
WARNING_OPTS += -optc-Wbad-function-cast
#WARNING_OPTS += -optc-Wcast-align
#WARNING_OPTS += -optc-Wnested-externs
gmp/libgmp.a ::
$(MAKE) -C gmp MAKEFLAGS=
@$(CP) gmp/.libs/libgmp.a gmp
- @$(STRIP) gmp/libgmp.a
endif
#-----------------------------------------------------------------------------