From 2ef2bad56520f76a2abc30715bb1572439535880 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jan=20R=C4=99korajski?= Date: Wed, 11 Apr 2012 16:06:12 +0000 Subject: [PATCH] - package librbcdag Changed files: NuSMV.spec -> 1.20 --- NuSMV.spec | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/NuSMV.spec b/NuSMV.spec index 8e9cb82..723f588 100644 --- a/NuSMV.spec +++ b/NuSMV.spec @@ -164,8 +164,10 @@ rm -rf $RPM_BUILD_ROOT %doc nusmv/doc/user-man/nusmv.p* %doc nusmv/doc/html %attr(755,root,root) %{_bindir}/* -%attr(755,root,root) %ghost %{_libdir}/lib*smv*.so.0 %attr(755,root,root) %{_libdir}/lib*smv*.so.*.*.* +%attr(755,root,root) %ghost %{_libdir}/lib*smv*.so.0 +%attr(755,root,root) %{_libdir}/librbcdag.so.*.*.* +%attr(755,root,root) %ghost %{_libdir}/librbcdag.so.0 %dir %{_datadir}/nusmv %{_datadir}/nusmv/contrib %{_datadir}/nusmv/help @@ -175,6 +177,7 @@ rm -rf $RPM_BUILD_ROOT %files devel %defattr(644,root,root,755) %attr(755,root,root) %{_libdir}/lib*smv*.so +%attr(755,root,root) %{_libdir}/librbcdag.so %{_includedir}/cudd* %{_includedir}/nusmv %{_pkgconfigdir}/* @@ -182,3 +185,4 @@ rm -rf $RPM_BUILD_ROOT %files static %defattr(644,root,root,755) %attr(755,root,root) %{_libdir}/lib*smv*.a +%attr(755,root,root) %{_libdir}/librbcdag.a -- 2.44.0