projects / packages / NuSMV.git / blame
| Commit | Line | Data |
|---|---|---|
| 8cbbfcb3 JR |
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 | |
| ed57d49d | 5 | |
| 8cbbfcb3 JR |
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 | |
| ed57d49d | 9 | |
| 8cbbfcb3 JR |
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 | |
| ed57d49d | 13 | |
| 8cbbfcb3 JR |
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 | |
| ed57d49d | 20 | |
| 8cbbfcb3 JR |
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 | |
| ed57d49d | 29 | |
| ed57d49d JR |
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 | # | |
| 8cbbfcb3 JR |
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 | |
| 1c91512b JR |
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. | |
| 8cbbfcb3 JR |
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 | |
| 1c91512b JR |
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 |