SOURCES: NuSMV-build.patch (NEW) - fix build/install problems

[baggins]

Author: baggins                      Date: Tue Oct  3 16:36:45 2006 GMT
Module: SOURCES                       Tag: HEAD
---- Log message:
- fix build/install problems

---- Files affected:
SOURCES:
   NuSMV-build.patch (NONE -> 1.1)  (NEW)

---- Diffs:

================================================================
Index: SOURCES/NuSMV-build.patch
diff -u /dev/null SOURCES/NuSMV-build.patch:1.1
--- /dev/null	Tue Oct  3 18:36:45 2006
+++ SOURCES/NuSMV-build.patch	Tue Oct  3 18:36:40 2006
@@ -0,0 +1,45 @@
+diff -ur NuSMV-2.4.0/nusmv/doc/html/Makefile.am NuSMV-2.4.0-ok/nusmv/doc/html/Makefile.am
+--- NuSMV-2.4.0/nusmv/doc/html/Makefile.am	2005-03-03 12:05:28.000000000 +0100
++++ NuSMV-2.4.0-ok/nusmv/doc/html/Makefile.am	2006-10-03 17:30:35.000000000 +0200
+@@ -46,7 +46,7 @@
+ docs: helpfiles
+ 
+ helpfiles: 
+-	cd $(top_builddir) && $(SHELL) helpers/extract_doc .
++	cd $(top_builddir) && /bin/bash helpers/extract_doc .
+ 
+ install: docs install-am
+ 
+diff -ur NuSMV-2.4.0/nusmv/doc/tutorial/Makefile.am NuSMV-2.4.0-ok/nusmv/doc/tutorial/Makefile.am
+--- NuSMV-2.4.0/nusmv/doc/tutorial/Makefile.am	2005-05-09 10:30:18.000000000 +0200
++++ NuSMV-2.4.0-ok/nusmv/doc/tutorial/Makefile.am	2006-10-03 17:03:50.000000000 +0200
+@@ -62,7 +62,7 @@
+ 
+ if HAVE_LATEX
+ install-data-local: tutorial.ps
+-	$(install_sh_DATA) tutorial.ps $(datadir)/nusmv/doc/tutorial.ps
++	$(install_sh_DATA) tutorial.ps $(DESTDIR)$(datadir)/nusmv/doc/tutorial.ps
+ 
+ else 
+ install-data-local:
+diff -ur NuSMV-2.4.0/nusmv/doc/user-man/Makefile.am NuSMV-2.4.0-ok/nusmv/doc/user-man/Makefile.am
+--- NuSMV-2.4.0/nusmv/doc/user-man/Makefile.am	2005-10-26 11:11:25.000000000 +0200
++++ NuSMV-2.4.0-ok/nusmv/doc/user-man/Makefile.am	2006-10-03 17:04:09.000000000 +0200
+@@ -67,7 +67,7 @@
+ 
+ if HAVE_LATEX
+ install-data-local: nusmv.ps
+-	$(install_sh_DATA) nusmv.ps $(datadir)/nusmv/doc/nusmv.ps
++	$(install_sh_DATA) nusmv.ps $(DESTDIR)$(datadir)/nusmv/doc/nusmv.ps
+ else 
+ install-data-local:
+ 	@echo Cannot generate manual: latex not found
+diff -ur NuSMV-2.4.0/nusmv/helpers/extract_doc.in NuSMV-2.4.0-ok/nusmv/helpers/extract_doc.in
+--- NuSMV-2.4.0/nusmv/helpers/extract_doc.in	2005-03-03 13:12:59.000000000 +0100
++++ NuSMV-2.4.0-ok/nusmv/helpers/extract_doc.in	2006-10-03 17:29:10.000000000 +0200
+@@ -1,4 +1,4 @@
+-#!/bin/sh
++#!/bin/bash
+ 
+ # FileName	[ extract_doc.in ]
+ #
================================================================