Author: baggins Date: Thu Feb 24 18:14:11 2005 GMT Module: SPECS Tag: HEAD ---- Log message: - initial revision
---- Files affected: SPECS: smv.spec (NONE -> 1.1) (NEW) ---- Diffs: ================================================================ Index: SPECS/smv.spec diff -u /dev/null SPECS/smv.spec:1.1 --- /dev/null Thu Feb 24 19:14:11 2005 +++ SPECS/smv.spec Thu Feb 24 19:14:06 2005 @@ -0,0 +1,48 @@ +# $Revision$, $Date$ +Summary: SMV - symbolic model verifier +Name: smv +Version: 2.5.4.3 +Release: 0.1 +License: No fscking idea :o +Group: Development/Tools +Source0: http://www-2.cs.cmu.edu/~modelcheck/smv/%{name}.r%{version}.tar.gz +# Source0-md5: dd1a7ebcbac935845fc73eb8957386cb +URL: http://www-2.cs.cmu.edu/~modelcheck/smv.html +BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n) + +%description + +%prep +%setup -q -n %{name} + +%build +%{__make} OPTFLAGS="%{rpmcflags}" + +%install +rm -rf $RPM_BUILD_ROOT +install -d $RPM_BUILD_ROOT{%{_bindir},%{_mandir}/man1,%{_examplesdir}/%{name}-%{version}} + +install smv $RPM_BUILD_ROOT%{_bindir}/ +install smv.1 $RPM_BUILD_ROOT%{_mandir}/man1/ +install examples/* $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version}/ + +%clean +rm -rf $RPM_BUILD_ROOT + +%files +%defattr(644,root,root,755) +%doc NEW README doc/* +%attr(755,root,root) %{_bindir}/* +%dir %{_examplesdir}/%{name}-%{version} +%{_examplesdir}/%{name}-%{version}/* +%{_mandir}/man1/* + +%define date %(echo `LC_ALL="C" date +"%a %b %d %Y"`) +%changelog +* %{date} PLD Team <[EMAIL PROTECTED]> +All persons listed below can be reached at <cvs_login>@pld-linux.org + +$Log$ +Revision 1.1 2005/02/24 18:14:06 baggins +- initial revision + ================================================================ _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
