diff -dur pvs-4.2.ORIG/BDD/ix86_64-Linux/Makefile pvs-4.2/BDD/ix86_64-Linux/Makefile
--- pvs-4.2.ORIG/BDD/ix86_64-Linux/Makefile 2009-10-04 13:25:53.000000000 -0600
+++ pvs-4.2/BDD/ix86_64-Linux/Makefile 2009-12-17 08:38:07.606881718 -0700
@@ -5,7 +5,7 @@
#LD = gcc
#LDFLAGS = -shared -L./
LD = ld
-LDFLAGS = -Bsymbolic -shared -warn-once -L./
+LDFLAGS = -Xlinker -Bsymbolic -shared -L./
CC = gcc
CFLAGS = -D_POSIX_SOURCE -DSYSV $(INCLUDES) -DLINUX -DLINUX_REDHAT5 -DSIGNALS_LINUX -fPIC -Wall -Winline -ggdb
XCFLAGS = -O
@@ -24,7 +24,7 @@
all : mu.so
mu.so : ${muobj} libutils.a ../bdd-ld-table ../mu-ld-table
- $(LD) ../bdd-ld-table ../mu-ld-table $(LDFLAGS) -o mu.so ${muobj} -lutils -lm -lbsd
+ $(CC) ../bdd-ld-table ../mu-ld-table $(LDFLAGS) -o mu.so ${muobj} -lutils -lm -lbsd
libutils.a : ${utilobj}
ar r libutils.a ${utilobj}
diff -dur pvs-4.2.ORIG/BDD/ix86-Linux/Makefile pvs-4.2/BDD/ix86-Linux/Makefile
--- pvs-4.2.ORIG/BDD/ix86-Linux/Makefile 2006-07-23 13:41:58.000000000 -0600
+++ pvs-4.2/BDD/ix86-Linux/Makefile 2009-12-17 08:38:38.734006137 -0700
@@ -3,7 +3,7 @@
UTILS = ../bdd/utils
INCLUDES = -I/usr/include -I$(BDD) -I$(UTILS) -I$(MU)
LD = ld
-LDFLAGS = -Bsymbolic -shared -warn-once -L./
+LDFLAGS = -Xlinker -Bsymbolic -shared -L./
CC = gcc
CFLAGS = -D_POSIX_SOURCE -DSYSV $(INCLUDES) -DLINUX -DLINUX_REDHAT5 -DSIGNALS_LINUX
XCFLAGS = -O
@@ -22,7 +22,7 @@
all : mu.so
mu.so : ${muobj} libutils.a ../bdd-ld-table ../mu-ld-table
- $(LD) ../bdd-ld-table ../mu-ld-table $(LDFLAGS) -o mu.so ${muobj} -lutils -lm -lbsd
+ $(CC) ../bdd-ld-table ../mu-ld-table $(LDFLAGS) -o mu.so ${muobj} -lutils -lm -lbsd
libutils.a : ${utilobj}
ar r libutils.a ${utilobj}
