SPECS: NuSMV.spec - pl

[qboosh]

Author: qboosh                       Date: Wed Oct  4 20:19:20 2006 GMT
Module: SPECS                         Tag: HEAD
---- Log message:
- pl

---- Files affected:
SPECS:
   NuSMV.spec (1.1 -> 1.2) 

---- Diffs:

================================================================
Index: SPECS/NuSMV.spec
diff -u SPECS/NuSMV.spec:1.1 SPECS/NuSMV.spec:1.2
--- SPECS/NuSMV.spec:1.1	Tue Oct  3 18:36:05 2006
+++ SPECS/NuSMV.spec	Wed Oct  4 22:19:15 2006
@@ -5,6 +5,7 @@
 #	- update all BRs
 #
 Summary:	New Symbolic Model Verifier
+Summary(pl):	Nowy weryfikator modeli symbolicznych
 Name:		NuSMV
 Version:	2.4.0
 Release:	0.1
@@ -42,11 +43,25 @@
 Model Checker, connected to the SIM SAT library developed by the
 University of Genova.
 
+%description -l pl
+NuSVM to reimplementacja i rozszerzenie SMV - pierwszego weryfikatora
+modeli opartego na BDD. NuSMV został zaprojektowany w otwartej
+architekturze sprawdzania modeli, przez co może być niezawodnie
+używany do weryfikacji projektów przemysłowych, jako podstawa własnych
+narzędzi weryfikujących, jako poligon dla technik weryfikacji
+formalnej oraz stosowany w innych obszarach badań.
+
+NuSMV2 łączy komponent sprawdzający modele oparty na BDD,
+wykorzystujący bibliotekę CUDD stworzoną przez Fabio Somenziniego w
+Colorado University i komponent sprawdzający modele oparty na SAT
+zawierający weryfikator modeli ograniczonych oparty na RBC, połączony
+z biblioteką SIM SAT stworzoną przez University of Genova.
+
 %package devel
 Summary:	Header files for NuSMV
 Summary(pl):	Pliki nagłówkowe NuSMV
 Group:		Development/Libraries
-#Requires:	%{name} = %{version}-%{release}
+Requires:	%{name} = %{version}-%{release}
 
 %description devel
 This is the package containing the header files for NuSMV.
@@ -80,7 +95,6 @@
 %{__autoconf}
 %{__autoheader}
 %{__automake}
-cp -f /usr/share/automake/config.sub .
 %configure \
 	--enable-shared \
 	--enable-psl
@@ -118,23 +132,24 @@
 
 %files devel
 %defattr(644,root,root,755)
+%attr(755,root,root) %{_libdir}/libnusmv*.so
+%{_libdir}/libnusmv*.la
 %{_includedir}/cudd*
 %{_includedir}/nusmv
-%{_libdir}/pkgconfig/*
-%attr(755,root,root) %{_libdir}/libnusmv*.la
-%attr(755,root,root) %{_libdir}/libnusmv*.so
+%{_pkgconfigdir}/*
 
 %files static
 %defattr(644,root,root,755)
 %attr(755,root,root) %{_libdir}/libnusmv*.a
 
-
 %define date	%(echo `LC_ALL="C" date +"%a %b %d %Y"`)
 %changelog
 * %{date} PLD Team <feedback at pld-linux.org>
 All persons listed below can be reached at <cvs_login>@pld-linux.org
 
 $Log$
+Revision 1.2  2006/10/04 20:19:15  qboosh
+- pl
+
 Revision 1.1  2006/10/03 16:36:05  baggins
 - initial revision
-
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/SPECS/NuSMV.spec?r1=1.1&r2=1.2&f=u