NuSMV.spec

   1 #
   2 # TODO:
   3 #       - external cudd
   4 #       - update all BRs
   5 #
   6 Summary:        New Symbolic Model Verifier
   7 Name:           NuSMV
   8 Version:        2.4.0
   9 Release:        0.1
  10 License:        LGPL
  11 Group:          Applications
  12 Source0:        http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz
  13 # Source0-md5:  cd1328fc70e9f48d2c4a96c0b8eb5a28
  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-makeindex
  27 BuildRequires:  tetex-latex
  28 BuildRoot:      %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
  29
  30 %description
  31 NuSMV is a reimplementation and extension of SMV, the first model
  32 checker based on BDDs. NuSMV has been designed to be an open
  33 architecture for model checking, which can be reliably used for the
  34 verification of industrial designs, as a core for custom verification
  35 tools, as a testbed for formal verification techniques, and applied
  36 to other research areas.
  37
  38 NuSMV2, combines BDD-based model checking component that exploits the
  39 CUDD library developed by Fabio Somenzi at Colorado University and
  40 SAT-based model checking component that includes an RBC-based Bounded
  41 Model Checker, connected to the SIM SAT library developed by the
  42 University of Genova.
  43
  44 %package devel
  45 Summary:        Header files for NuSMV
  46 Summary(pl):    Pliki nag³ówkowe NuSMV
  47 Group:          Development/Libraries
  48 #Requires:      %{name} = %{version}-%{release}
  49
  50 %description devel
  51 This is the package containing the header files for NuSMV.
  52
  53 %description devel -l pl
  54 Ten pakiet zawiera pliki nag³ówkowe NuSMV.
  55
  56 %package static
  57 Summary:        Static NuSMV library
  58 Summary(pl):    Statyczna biblioteka NuSMV
  59 Group:          Development/Libraries
  60 Requires:       %{name}-devel = %{version}-%{release}
  61
  62 %description static
  63 Static NuSMV library.
  64
  65 %description static -l pl
  66 Statyczna biblioteka NuSMV.
  67
  68 %prep
  69 %setup -q
  70 %patch0 -p1
  71
  72 %build
  73 cd nusmv
  74 mkdir -p src/{sa/{fmea,stsa},mbp,mathsat}
  75 touch src/sa/Makefile.in src/sa/fmea/Makefile.in src/sa/stsa/Makefile.in \
  76         src/mbp/Makefile.in src/mathsat/Makefile.in
  77
  78 %{__aclocal}
  79 %{__autoconf}
  80 %{__autoheader}
  81 %{__automake}
  82 cp -f /usr/share/automake/config.sub .
  83 %configure \
  84         --enable-shared \
  85         --enable-psl
  86 %{__make}
  87 %{__make} docs
  88
  89 %install
  90 rm -rf $RPM_BUILD_ROOT
  91 install -d $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version}
  92
  93 %{__make} -C nusmv install \
  94         DESTDIR=$RPM_BUILD_ROOT
  95
  96 cp -a nusmv/examples/* $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version}
  97
  98 %clean
  99 rm -rf $RPM_BUILD_ROOT
 100
 101 %post   -p /sbin/ldconfig
 102 %postun -p /sbin/ldconfig
 103
 104 %files
 105 %defattr(644,root,root,755)
 106 %doc nusmv/{AUTHORS,ChangeLog,NEWS,README*}
 107 %doc nusmv/doc/tutorial/tutorial.p*
 108 %doc nusmv/doc/user-man/nusmv.p*
 109 %doc nusmv/doc/html
 110 %attr(755,root,root) %{_bindir}/*
 111 %attr(755,root,root) %{_libdir}/libnusmv*.so.*.*.*
 112 %dir %{_datadir}/nusmv
 113 %{_datadir}/nusmv/contrib
 114 %{_datadir}/nusmv/help
 115 %{_datadir}/nusmv/master.nusmvrc
 116 %{_examplesdir}/%{name}-%{version}
 117
 118 %files devel
 119 %defattr(644,root,root,755)
 120 %{_includedir}/cudd*
 121 %{_includedir}/nusmv
 122 %{_libdir}/pkgconfig/*
 123 %attr(755,root,root) %{_libdir}/libnusmv*.la
 124 %attr(755,root,root) %{_libdir}/libnusmv*.so
 125
 126 %files static
 127 %defattr(644,root,root,755)
 128 %attr(755,root,root) %{_libdir}/libnusmv*.a