From cefc5ce40470a1766af8671e54e93a6f2f6b8103 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jan=20R=C4=99korajski?= Date: Wed, 11 Apr 2012 16:00:43 +0000 Subject: [PATCH] - up to 2.5.4 Changed files: NuSMV-build.patch -> 1.6 NuSMV.spec -> 1.19 --- NuSMV-build.patch | 10 ---------- NuSMV.spec | 6 +++--- 2 files changed, 3 insertions(+), 13 deletions(-) diff --git a/NuSMV-build.patch b/NuSMV-build.patch index 60fd217..1520b01 100644 --- a/NuSMV-build.patch +++ b/NuSMV-build.patch @@ -82,16 +82,6 @@ diff -ur NuSMV-2.4.0/nusmv/helpers/extract_doc.in NuSMV-2.4.0-ok/nusmv/helpers/e # where to look for install.sh and other helpers AC_CONFIG_AUX_DIR(helpers) ---- NuSMV-2.5.2/nusmv/acinclude.m4~ 2010-10-29 13:15:51.000000000 +0200 -+++ NuSMV-2.5.2/nusmv/acinclude.m4 2011-04-06 11:52:02.728970548 +0200 -@@ -177,7 +177,6 @@ - # modified version of the Autoconf Macro, you may extend this special - # exception to the GPL to apply to your modified version as well. - --#serial 10 - - AC_DEFUN([AX_PREFIX_CONFIG_H],[dnl - AC_PREREQ([2.58]) --- NuSMV-2.5.2/nusmv/configure.ac~ 2011-04-06 12:14:21.103822539 +0200 +++ NuSMV-2.5.2/nusmv/configure.ac 2011-04-06 12:29:40.711202079 +0200 @@ -669,11 +669,11 @@ diff --git a/NuSMV.spec b/NuSMV.spec index 15bf2e6..8e9cb82 100644 --- a/NuSMV.spec +++ b/NuSMV.spec @@ -8,12 +8,12 @@ Summary: New Symbolic Model Verifier Summary(pl.UTF-8): Nowy weryfikator modeli symbolicznych Name: NuSMV -Version: 2.5.2 -Release: 2 +Version: 2.5.4 +Release: 1 License: LGPL Group: Applications Source0: http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz -# Source0-md5: 70643f69569eb33b8a13977df2c17a14 +# Source0-md5: 4d8ae6136fbd916d875cd48f82d5f327 Source1: http://minisat.se/downloads/minisat2-%{minisat_ver}.zip # Source1-md5: fb12db9a13f86a2133758abfba239546 Source2: http://www.princeton.edu/~chaff/zchaff/zchaff.%{zchaff_ver}.zip -- 2.44.0