NuSMV-build.patch

   1 --- NuSMV-2.4.0/nusmv/doc/tutorial/Makefile.in  2005-05-09 10:30:18.000000000 +0200
   2 +++ NuSMV-2.4.0-ok/nusmv/doc/tutorial/Makefile.in       2006-10-03 17:03:50.000000000 +0200
   3 @@ -470,9 +470,9 @@
   4  @HAVE_PDFLATEXETAL_FALSE@              && latex main.tex
   5
   6  @HAVE_PDFLATEXETAL_TRUE@install-data-local: tutorial.ps
   7 -@HAVE_PDFLATEXETAL_TRUE@       $(install_sh_DATA) tutorial.ps $(datadir)/nusmv/doc/tutorial.ps
   8 +@HAVE_PDFLATEXETAL_TRUE@       $(install_sh_DATA) tutorial.ps $(DESTDIR)$(datadir)/nusmv/doc/tutorial.ps
   9
  10  @HAVE_LATEX_TRUE@@HAVE_PDFLATEXETAL_FALSE@install-data-local: tutorial.ps
  11 -@HAVE_LATEX_TRUE@@HAVE_PDFLATEXETAL_FALSE@     $(install_sh_DATA) tutorial.ps $(datadir)/nusmv/doc/tutorial.ps
  12 +@HAVE_LATEX_TRUE@@HAVE_PDFLATEXETAL_FALSE@     $(install_sh_DATA) tutorial.ps $(DESTDIR)$(datadir)/nusmv/doc/tutorial.ps
  13
  14  @HAVE_LATEX_FALSE@@HAVE_PDFLATEXETAL_FALSE@install-data-local:
  15  @HAVE_LATEX_FALSE@@HAVE_PDFLATEXETAL_FALSE@    @echo Cannot generate tutorial: latex not found
  16 --- NuSMV-2.4.0/nusmv/doc/user-man/Makefile.in  2005-10-26 11:11:25.000000000 +0200
  17 +++ NuSMV-2.4.0-ok/nusmv/doc/user-man/Makefile.in       2006-10-03 17:04:09.000000000 +0200
  18 @@ -489,9 +489,9 @@
  19  @HAVE_PDFLATEXETAL_FALSE@              && latex main.tex
  20
  21  @HAVE_PDFLATEXETAL_TRUE@install-data-local: nusmv.ps
  22 -@HAVE_PDFLATEXETAL_TRUE@       $(install_sh_DATA) nusmv.ps $(datadir)/nusmv/doc/nusmv.ps
  23 +@HAVE_PDFLATEXETAL_TRUE@       $(install_sh_DATA) nusmv.ps $(DESTDIR)$(datadir)/nusmv/doc/nusmv.ps
  24  @HAVE_LATEX_TRUE@@HAVE_PDFLATEXETAL_FALSE@install-data-local: nusmv.ps
  25 -@HAVE_LATEX_TRUE@@HAVE_PDFLATEXETAL_FALSE@     $(install_sh_DATA) nusmv.ps $(datadir)/nusmv/doc/nusmv.ps
  26 +@HAVE_LATEX_TRUE@@HAVE_PDFLATEXETAL_FALSE@     $(DESTDIR)$(install_sh_DATA) nusmv.ps $(datadir)/nusmv/doc/nusmv.ps
  27  @HAVE_LATEX_FALSE@@HAVE_PDFLATEXETAL_FALSE@install-data-local:
  28  @HAVE_LATEX_FALSE@@HAVE_PDFLATEXETAL_FALSE@    @echo Cannot generate manual: latex not found
  29
  30 diff -ur NuSMV-2.4.0/nusmv/helpers/extract_doc.in NuSMV-2.4.0-ok/nusmv/helpers/extract_doc.in
  31 --- NuSMV-2.4.0/nusmv/helpers/extract_doc.in    2005-03-03 13:12:59.000000000 +0100
  32 +++ NuSMV-2.4.0-ok/nusmv/helpers/extract_doc.in 2006-10-03 17:29:10.000000000 +0200
  33 @@ -1,4 +1,4 @@
  34 -#!/bin/sh
  35 +#!/bin/bash
  36
  37  # FileName     [ extract_doc.in ]
  38  #
  39 --- NuSMV-2.4.3/cudd-2.4.1.1/Makefile.orig      2007-05-10 19:37:13.000000000 +0200
  40 +++ NuSMV-2.4.3/cudd-2.4.1.1/Makefile   2007-09-14 15:33:55.000000000 +0200
  41 @@ -55,7 +55,7 @@
  42  # These four are typical settings for optimized code with gcc.  The
  43  # last two also work with icc/ecc.
  44  #ICFLAGS       = -g -O6 -Wall
  45 -ICFLAGS        = -g -O6
  46 +#ICFLAGS       = -g -O6
  47  #ICFLAGS       = -g -O3 -Wall
  48  #ICFLAGS       = -g -O3
  49
  50 @@ -69,7 +69,7 @@
  51  # Gcc 2.8.1 or higher on i686.
  52  #XCFLAGS       = -mcpu=pentiumpro -malign-double -DHAVE_IEEE_754 -DBSD
  53  # Gcc 3.2.2 or higher on i686.
  54 -XCFLAGS        = -mcpu=pentium4 -malign-double -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4
  55 +XCFLAGS        = -malign-double -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4
  56  # Icc on i686.
  57  #XCFLAGS       = -ansi -align -ip -DHAVE_IEEE_754 -DBSD
  58  # Gcc on ia64.
  59 --- NuSMV-2.4.3/cudd-2.4.1.1/Makefile_64bit~    2007-03-14 11:31:56.000000000 +0100
  60 +++ NuSMV-2.4.3/cudd-2.4.1.1/Makefile_64bit     2007-09-14 15:35:25.000000000 +0200
  61 @@ -55,7 +55,7 @@
  62  # These four are typical settings for optimized code with gcc.  The
  63  # last two also work with icc/ecc.
  64  #ICFLAGS       = -g -O6 -Wall
  65 -ICFLAGS        = -g -O6
  66 +#ICFLAGS       = -g -O6
  67  #ICFLAGS       = -g -O3 -Wall
  68  #ICFLAGS       = -g -O3
  69