NuSMV.spec

   1 #
   2 # TODO:
   3 #       - external cudd
   4 #       - update all BRs
   5 #
   6 Summary:        New Symbolic Model Verifier
   7 Summary(pl.UTF-8):      Nowy weryfikator modeli symbolicznych
   8 Name:           NuSMV
   9 Version:        2.4.3
  10 Release:        0.1
  11 License:        LGPL
  12 Group:          Applications
  13 Source0:        http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz
  14 # Source0-md5:  f9fb88139b388c6ba8d31b0ad1ce5254
  15 Patch0:         %{name}-build.patch
  16 URL:            http://nusmv.irst.itc.it/
  17 BuildRequires:  autoconf
  18 BuildRequires:  automake
  19 BuildRequires:  expat-devel
  20 BuildRequires:  ghostscript
  21 BuildRequires:  lynx
  22 # alternative for lynx
  23 #BuildRequires: links
  24 BuildRequires:  perl-base
  25 BuildRequires:  readline-devel
  26 BuildRequires:  tetex-dvips
  27 BuildRequires:  tetex-makeindex
  28 BuildRequires:  tetex-latex
  29 BuildRoot:      %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
  30
  31 %description
  32 NuSMV is a reimplementation and extension of SMV, the first model
  33 checker based on BDDs. NuSMV has been designed to be an open
  34 architecture for model checking, which can be reliably used for the
  35 verification of industrial designs, as a core for custom verification
  36 tools, as a testbed for formal verification techniques, and applied
  37 to other research areas.
  38
  39 NuSMV2, combines BDD-based model checking component that exploits the
  40 CUDD library developed by Fabio Somenzi at Colorado University and
  41 SAT-based model checking component that includes an RBC-based Bounded
  42 Model Checker, connected to the SIM SAT library developed by the
  43 University of Genova.
  44
  45 %description -l pl.UTF-8
  46 NuSVM to reimplementacja i rozszerzenie SMV - pierwszego weryfikatora
  47 modeli opartego na BDD. NuSMV został zaprojektowany w otwartej
  48 architekturze sprawdzania modeli, przez co może być niezawodnie
  49 używany do weryfikacji projektów przemysłowych, jako podstawa własnych
  50 narzędzi weryfikujących, jako poligon dla technik weryfikacji
  51 formalnej oraz stosowany w innych obszarach badań.
  52
  53 NuSMV2 łączy komponent sprawdzający modele oparty na BDD,
  54 wykorzystujący bibliotekę CUDD stworzoną przez Fabio Somenziniego w
  55 Colorado University i komponent sprawdzający modele oparty na SAT
  56 zawierający weryfikator modeli ograniczonych oparty na RBC, połączony
  57 z biblioteką SIM SAT stworzoną przez University of Genova.
  58
  59 %package devel
  60 Summary:        Header files for NuSMV
  61 Summary(pl.UTF-8):      Pliki nagłówkowe NuSMV
  62 Group:          Development/Libraries
  63 Requires:       %{name} = %{version}-%{release}
  64
  65 %description devel
  66 This is the package containing the header files for NuSMV.
  67
  68 %description devel -l pl.UTF-8
  69 Ten pakiet zawiera pliki nagłówkowe NuSMV.
  70
  71 %package static
  72 Summary:        Static NuSMV library
  73 Summary(pl.UTF-8):      Statyczna biblioteka NuSMV
  74 Group:          Development/Libraries
  75 Requires:       %{name}-devel = %{version}-%{release}
  76
  77 %description static
  78 Static NuSMV library.
  79
  80 %description static -l pl.UTF-8
  81 Statyczna biblioteka NuSMV.
  82
  83 %prep
  84 %setup -q
  85 %patch0 -p1
  86
  87 %build
  88 cd nusmv
  89 #mkdir -p src/{sa/{fmea,stsa},mbp,mathsat}
  90 #touch src/sa/Makefile.in src/sa/fmea/Makefile.in src/sa/stsa/Makefile.in \
  91 #       src/mbp/Makefile.in src/mathsat/Makefile.in
  92
  93 ICFLAGS="%{rpmcflags}"
  94 export ICFLAGS
  95
  96 %{__aclocal}
  97 %{__autoconf}
  98 %{__autoheader}
  99 %{__automake}
 100 %configure \
 101         --enable-shared \
 102         --enable-psl
 103 %{__make}
 104 %{__make} docs
 105
 106 %install
 107 rm -rf $RPM_BUILD_ROOT
 108 install -d $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version}
 109
 110 %{__make} -C nusmv install \
 111         DESTDIR=$RPM_BUILD_ROOT
 112
 113 cp -a nusmv/examples/* $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version}
 114
 115 %clean
 116 rm -rf $RPM_BUILD_ROOT
 117
 118 %post   -p /sbin/ldconfig
 119 %postun -p /sbin/ldconfig
 120
 121 %files
 122 %defattr(644,root,root,755)
 123 %doc nusmv/{AUTHORS,ChangeLog,NEWS,README*}
 124 %doc nusmv/doc/tutorial/tutorial.p*
 125 %doc nusmv/doc/user-man/nusmv.p*
 126 %doc nusmv/doc/html
 127 %attr(755,root,root) %{_bindir}/*
 128 %attr(755,root,root) %{_libdir}/libnusmv*.so.*.*.*
 129 %dir %{_datadir}/nusmv
 130 %{_datadir}/nusmv/contrib
 131 %{_datadir}/nusmv/help
 132 %{_datadir}/nusmv/master.nusmvrc
 133 %{_examplesdir}/%{name}-%{version}
 134
 135 %files devel
 136 %defattr(644,root,root,755)
 137 %attr(755,root,root) %{_libdir}/libnusmv*.so
 138 %{_libdir}/libnusmv*.la
 139 %{_includedir}/cudd*
 140 %{_includedir}/nusmv
 141 %{_pkgconfigdir}/*
 142
 143 %files static
 144 %defattr(644,root,root,755)
 145 %attr(755,root,root) %{_libdir}/libnusmv*.a