Author: baggins Date: Mon Feb 16 10:18:17 2009 GMT Module: SPECS Tag: HEAD ---- Log message: - up to 5.1.7 - dropped bison patch, BR yacc
---- Files affected: SPECS: spin.spec (1.9 -> 1.10) ---- Diffs: ================================================================ Index: SPECS/spin.spec diff -u SPECS/spin.spec:1.9 SPECS/spin.spec:1.10 --- SPECS/spin.spec:1.9 Mon Feb 12 23:09:15 2007 +++ SPECS/spin.spec Mon Feb 16 11:18:12 2009 @@ -2,15 +2,14 @@ Summary: On-the-fly, LTL model checking with SPIN Summary(pl.UTF-8): Sprawdzanie modeli LTL w locie przy użyciu SPIN Name: spin -Version: 4.2.7 +Version: 5.1.7 Release: 0.1 License: Spin Public license Group: Development/Tools -Source0: http://spinroot.com/spin/Src/%{name}427.tar.gz -# Source0-md5: a4fc8c6a30b7746a2d7acb2cf262ec97 +Source0: http://spinroot.com/spin/Src/%{name}517.tar.gz +# Source0-md5: 2d069adc30e318b1ba71bdecc1721d97 URL: http://spinroot.com/spin/whatispin.html -Patch0: %{name}-use_bison.patch -BuildRequires: bison +BuildRequires: yacc Requires: tcl Requires: tk BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n) @@ -50,30 +49,28 @@ %prep %setup -q -c -%patch0 -p1 %build -cd Src* -%{__make} -f make_unix \ - CFLAGS="-ansi -D_POSIX_SOURCE %{rpmcflags}" +cd Spin/Src* +%{__make} CFLAGS="-ansi -D_POSIX_SOURCE %{rpmcflags}" %install rm -rf $RPM_BUILD_ROOT install -d $RPM_BUILD_ROOT{%{_bindir},%{_mandir}/man1,%{_datadir}/%{name}} -install Src*/spin $RPM_BUILD_ROOT%{_bindir} -install Man/spin.1 $RPM_BUILD_ROOT%{_mandir}/man1 -cp -a Test/* $RPM_BUILD_ROOT%{_datadir}/%{name} +install Spin/Src*/spin $RPM_BUILD_ROOT%{_bindir} +install Spin/Man/spin.1 $RPM_BUILD_ROOT%{_mandir}/man1 +cp -a Spin/Test/* $RPM_BUILD_ROOT%{_datadir}/%{name} echo "#!/usr/bin/wish -f" > $RPM_BUILD_ROOT%{_bindir}/xspin -tail -n $(expr `cat Xspin*/xspin*.tcl | wc -l` - 3) Xspin*/xspin*.tcl >> $RPM_BUILD_ROOT%{_bindir}/xspin +tail -n $(expr `cat Spin/Xspin*/xspin*.tcl | wc -l` - 3) Spin/Xspin*/xspin*.tcl >> $RPM_BUILD_ROOT%{_bindir}/xspin %clean rm -rf $RPM_BUILD_ROOT %files %defattr(644,root,root,755) -%doc README.html Doc/* +%doc Spin/README.html Spin/Doc/* %attr(755,root,root) %{_bindir}/spin %{_mandir}/man1/* %{_datadir}/%{name} @@ -88,6 +85,10 @@ All persons listed below can be reached at <cvs_login>@pld-linux.org $Log$ +Revision 1.10 2009/02/16 10:18:12 baggins +- up to 5.1.7 +- dropped bison patch, BR yacc + Revision 1.9 2007/02/12 22:09:15 glen - tabs in preamble ================================================================ ---- CVS-web: http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/SPECS/spin.spec?r1=1.9&r2=1.10&f=u _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
