From 23484014aff9aa5954da680b7117e87b5f95cbd8 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 30 Jan 2007 09:50:12 +0000 Subject: [PATCH] Removed -m64 switch from linux-64 makefile (IA64 compatability). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@225 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- cudd/Makefile.linux-64 | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/cudd/Makefile.linux-64 b/cudd/Makefile.linux-64 index dbd778e8..fad2ff28 100644 --- a/cudd/Makefile.linux-64 +++ b/cudd/Makefile.linux-64 @@ -63,7 +63,8 @@ ICFLAGS = # Linux 64-bit # (AMD64 or Itanium) # -XCFLAGS = $(CFLAGS) -fPIC -DPIC -m64 -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 +XCFLAGS = $(CFLAGS) -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 +# Note: We omit the -m64 flag from here since it seems to be unsupported by gcc on IA64 # #==========================