NuSMV.spec

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