parent
521b29a593
commit
283aa3c69d
|
@ -1,11 +1,11 @@
|
|||
Name: qepcad-B
|
||||
Version: 1.69
|
||||
Release: 7%{?dist}
|
||||
Release: 8%{?dist}
|
||||
Summary: Quantifier elimination tool
|
||||
|
||||
License: MIT
|
||||
URL: http://www.usna.edu/CS/~qepcad/B/QEPCAD.html
|
||||
Source0: http://www.usna.edu/CS/~qepcad/INSTALL/%{name}.%{version}.tar.gz
|
||||
URL: http://www.usna.edu/CS/qepcadweb/INSTALL/IQ.html
|
||||
Source0: http://www.usna.edu/CS/qepcadweb/INSTALL/%{name}.%{version}.tar.gz
|
||||
# Don't require users to set the "qe" environment variable. Not for upstream.
|
||||
Patch0: %{name}-env.patch
|
||||
# Add gcc attributes for better efficiency and warnings. Upstream: 20 Nov 2013.
|
||||
|
@ -102,13 +102,18 @@ ln -s %{_bindir}/cad2d %{buildroot}%{_datadir}/qepcad/bin
|
|||
ln -s %{_bindir}/qepcad %{buildroot}%{_datadir}/qepcad/bin
|
||||
|
||||
%files
|
||||
%doc LICENSE LOG
|
||||
%doc LOG
|
||||
%license LICENSE
|
||||
%{_bindir}/qepcad
|
||||
%{_bindir}/ADJ2D_plot
|
||||
%{_bindir}/cad2d
|
||||
%{_datadir}/qepcad/
|
||||
|
||||
%changelog
|
||||
* Wed Jan 7 2015 Jerry James <loganjerry@gmail.com> - 1.69-8
|
||||
- Update URLs
|
||||
- Use license macro
|
||||
|
||||
* Sun Aug 17 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.69-7
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
|
||||
|
||||
|
|
Loading…
Reference in New Issue