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
4 @HAVE_PDFLATEXETAL_FALSE@ && latex main.tex
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
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
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
19 @HAVE_PDFLATEXETAL_FALSE@ && latex main.tex
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
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
37 # FileName [ extract_doc.in ]
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
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
47 #ICFLAGS = -g -O3 -Wall
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
57 #XCFLAGS = -ansi -align -ip -DHAVE_IEEE_754 -DBSD
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
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
67 #ICFLAGS = -g -O3 -Wall