SOURCES: NuSMV-build.patch - as-needed fixes

[baggins]

Author: baggins                      Date: Fri Sep 14 13:52:50 2007 GMT
Module: SOURCES                       Tag: HEAD
---- Log message:
- as-needed fixes

---- Files affected:
SOURCES:
   NuSMV-build.patch (1.2 -> 1.3) 

---- Diffs:

================================================================
Index: SOURCES/NuSMV-build.patch
diff -u SOURCES/NuSMV-build.patch:1.2 SOURCES/NuSMV-build.patch:1.3
--- SOURCES/NuSMV-build.patch:1.2	Fri Sep 14 15:36:34 2007
+++ SOURCES/NuSMV-build.patch	Fri Sep 14 15:52:45 2007
@@ -74,3 +74,23 @@
  #ICFLAGS	= -g -O3 -Wall
  #ICFLAGS	= -g -O3
  
+--- NuSMV-2.4.3/nusmv/src/Makefile.am~	2006-06-28 18:16:16.000000000 +0200
++++ NuSMV-2.4.3/nusmv/src/Makefile.am	2007-09-14 15:48:35.000000000 +0200
+@@ -91,4 +91,6 @@
+ 	$(mbp_libs)              \
+ 	$(sa_libs)               \
+ 	$(mathsat_libs)          \
++	$(expat_libs)            \
++	$(readline_libs)         \
+ 	sm/libsm.la              
+--- NuSMV-2.4.3/nusmv/Makefile.am~	2007-03-28 15:49:05.000000000 +0200
++++ NuSMV-2.4.3/nusmv/Makefile.am	2007-09-14 15:48:37.000000000 +0200
+@@ -116,7 +116,7 @@
+ libnusmv_la_LIBADD = $(top_builddir)/src/libnusmvcore.la \
+ 	-L$(top_srcdir)/$(CUDD_DIR)/lib \
+ 	-lcudd -lcudd_util -lmtr -lst   \
+-        $(readline_libs) $(zchaff_libs) $(minisat_libs) $(expat_libs)
++        $(zchaff_libs) $(minisat_libs)
+ 
+ libnusmv_la_DEPENDENCIES = $(top_builddir)/src/libnusmvcore.la $(CUDD_DEPENDENCY)
+ 
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/SOURCES/NuSMV-build.patch?r1=1.2&r2=1.3&f=u