NuSMV-build.patch

   1 --- NuSMV-2.5.2/nusmv/doc/tutorial/Makefile.am~ 2010-10-29 13:15:50.000000000 +0200
   2 +++ NuSMV-2.5.2/nusmv/doc/tutorial/Makefile.am  2011-04-06 11:37:20.223970540 +0200
   3 @@ -101,12 +101,12 @@
   4
   5  if HAVE_PDFLATEXETAL
   6  install-data-local: tutorial.pdf
   7 -       $(install_sh_DATA) tutorial.pdf $(datadir)/nusmv/doc/tutorial.pdf
   8 +       $(install_sh_DATA) tutorial.pdf $(DESTDIR)$(datadir)/nusmv/doc/tutorial.pdf
   9
  10  else
  11  if HAVE_LATEX
  12  install-data-local: tutorial.ps
  13 -       $(install_sh_DATA) tutorial.ps $(datadir)/nusmv/doc/tutorial.ps
  14 +       $(install_sh_DATA) tutorial.ps $(DESTDIR)$(datadir)/nusmv/doc/tutorial.ps
  15
  16  else
  17  install-data-local:
  18 --- NuSMV-2.5.2/nusmv/doc/user-man/Makefile.am~ 2010-10-29 13:15:50.000000000 +0200
  19 +++ NuSMV-2.5.2/nusmv/doc/user-man/Makefile.am  2011-04-06 11:38:19.714970540 +0200
  20 @@ -121,11 +121,11 @@
  21
  22  if HAVE_PDFLATEXETAL
  23  install-data-local: nusmv.pdf
  24 -       $(install_sh_DATA) nusmv.pdf $(datadir)/nusmv/doc/nusmv.pdf
  25 +       $(install_sh_DATA) nusmv.pdf $(DESTDIR)$(datadir)/nusmv/doc/nusmv.pdf
  26  else
  27  if HAVE_LATEX
  28  install-data-local: nusmv.ps
  29 -       $(install_sh_DATA) nusmv.ps $(datadir)/nusmv/doc/nusmv.ps
  30 +       $(install_sh_DATA) nusmv.ps $(DESTDIR)$(datadir)/nusmv/doc/nusmv.ps
  31  else
  32  install-data-local:
  33         @echo Cannot generate manual: latex not found
  34 diff -ur NuSMV-2.4.0/nusmv/helpers/extract_doc.in NuSMV-2.4.0-ok/nusmv/helpers/extract_doc.in
  35 --- NuSMV-2.4.0/nusmv/helpers/extract_doc.in    2005-03-03 13:12:59.000000000 +0100
  36 +++ NuSMV-2.4.0-ok/nusmv/helpers/extract_doc.in 2006-10-03 17:29:10.000000000 +0200
  37 @@ -1,4 +1,4 @@
  38 -#!/bin/sh
  39 +#!/bin/bash
  40
  41  # FileName     [ extract_doc.in ]
  42  #
  43 --- NuSMV-2.4.3/cudd-2.4.1.1/Makefile.orig      2007-05-10 19:37:13.000000000 +0200
  44 +++ NuSMV-2.4.3/cudd-2.4.1.1/Makefile   2007-09-14 15:33:55.000000000 +0200
  45 @@ -55,7 +55,7 @@
  46  # These four are typical settings for optimized code with gcc.  The
  47  # last two also work with icc/ecc.
  48  #ICFLAGS       = -g -O6 -Wall
  49 -ICFLAGS        = -g -O6
  50 +#ICFLAGS       = -g -O6
  51  #ICFLAGS       = -g -O3 -Wall
  52  #ICFLAGS       = -g -O3
  53
  54 @@ -69,7 +69,7 @@
  55  # Gcc 2.8.1 or higher on i686.
  56  #XCFLAGS       = -mcpu=pentiumpro -malign-double -DHAVE_IEEE_754 -DBSD
  57  # Gcc 3.2.2 or higher on i686.
  58 -XCFLAGS        = -mcpu=pentium4 -malign-double -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=4 -DNUSMV_SIZEOF_LONG=4 -DNUSMV_SIZEOF_INT=4
  59 +XCFLAGS        = -malign-double -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=4 -DNUSMV_SIZEOF_LONG=4 -DNUSMV_SIZEOF_INT=4
  60  # Icc on i686.
  61  #XCFLAGS       = -ansi -align -ip -DHAVE_IEEE_754 -DBSD
  62  # Gcc on ia64.
  63 --- NuSMV-2.4.3/cudd-2.4.1.1/Makefile_64bit~    2007-03-14 11:31:56.000000000 +0100
  64 +++ NuSMV-2.4.3/cudd-2.4.1.1/Makefile_64bit     2007-09-14 15:35:25.000000000 +0200
  65 @@ -55,7 +55,7 @@
  66  # These four are typical settings for optimized code with gcc.  The
  67  # last two also work with icc/ecc.
  68  #ICFLAGS       = -g -O6 -Wall
  69 -ICFLAGS        = -g -O6
  70 +#ICFLAGS       = -g -O6
  71  #ICFLAGS       = -g -O3 -Wall
  72  #ICFLAGS       = -g -O3
  73
  74 --- NuSMV-2.5.2/nusmv/configure.ac~     2010-10-29 13:15:51.000000000 +0200
  75 +++ NuSMV-2.5.2/nusmv/configure.ac      2011-04-06 11:49:45.772970540 +0200
  76 @@ -4,6 +4,8 @@
  77
  78  AC_INIT(NuSMV, 2.5.2, nusmv-users@fbk.eu)
  79
  80 +AC_CONFIG_MACRO_DIR([m4])
  81 +
  82  # where to look for install.sh and other helpers
  83  AC_CONFIG_AUX_DIR(helpers)
  84
  85 --- NuSMV-2.5.2/nusmv/acinclude.m4~     2010-10-29 13:15:51.000000000 +0200
  86 +++ NuSMV-2.5.2/nusmv/acinclude.m4      2011-04-06 11:52:02.728970548 +0200
  87 @@ -177,7 +177,6 @@
  88  #   modified version of the Autoconf Macro, you may extend this special
  89  #   exception to the GPL to apply to your modified version as well.
  90
  91 -#serial 10
  92
  93  AC_DEFUN([AX_PREFIX_CONFIG_H],[dnl
  94  AC_PREREQ([2.58])
  95 --- NuSMV-2.5.2/nusmv/configure.ac~     2011-04-06 12:14:21.103822539 +0200
  96 +++ NuSMV-2.5.2/nusmv/configure.ac      2011-04-06 12:29:40.711202079 +0200
  97 @@ -669,11 +669,11 @@
  98  done
  99
 100  dep_addons=
 101 -function addon_calc_dep() # calculates dependencies of given addon
 102 +addon_calc_dep() # calculates dependencies of given addon
 103  {
 104    addon=$1
 105    __addon_deps=${addon}_deps
 106 -  deps=${!__addon_deps}
 107 +  eval deps=\$${__addon_deps}
 108
 109    for dep in $deps; do
 110      _tmp=$(echo "$dep_addons $found_addons $alias_addons" | grep -w $dep -) # already taken?
 111 @@ -729,7 +729,7 @@
 112  # Outputs
 113  for addon in $all_addons; do
 114    _vname=have_addon_${addon}
 115 -  _have_addon=${!_vname}
 116 +  eval _have_addon=\$${_vname}
 117    case $addon in
 118    compass)
 119      if test $_have_addon == 1; then
 120 --- NuSMV-2.5.2/nusmv/helpers/extract_doc.in~   2011-04-06 12:42:33.778202079 +0200
 121 +++ NuSMV-2.5.2/nusmv/helpers/extract_doc.in    2011-04-06 12:47:12.111202081 +0200
 122 @@ -126,7 +126,7 @@
 123
 124
 125
 126 -function extractcommand() {
 127 +extractcommand() {
 128      cfile=$1
 129      htmldir=$2
 130