Sophie: covered-0.7.7-2.fc15 src

covered-0.7.7-2.fc15.src.rpm

Name:           covered
Version:        0.7.7
Release:        2%{?dist}
Summary:        Verilog code coverage analyzer

Group:          Applications/Engineering
License:        GPLv2+
URL:            http://covered.sourceforge.net/
Source0:        http://downloads.sourceforge.net/covered/%{name}-%{version}.tar.gz
BuildRoot:      %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)

BuildRequires:  tk-devel
BuildRequires:  bison 
BuildRequires:  flex 
BuildRequires:  gperf 
BuildRequires:  iverilog-devel
BuildRequires:  gplcver
BuildRequires:  desktop-file-utils

# Enable LXT2 formatted dumpfiles | GTKWaves likes it
BuildRequires:  zlib-devel 

# Verilog Simulators
Requires:       gplcver
Requires:       iverilog

Requires:       electronics-menu

# rpmlints warnings ignored:
#covered.i686: E: explicit-lib-dependency tklib
#covered.i686: W: hidden-file-or-dir /usr/share/covered/.coveredrc

# GUI Needs Tk TableLists
Requires:       tklib


%description
Covered is a Verilog code-coverage utility using VCD/LXT style dumpfiles
and the design to generate line, toggle, memory, combinational logic, 
FSM state/arc and assertion coverage reports. Covered also contains a 
built-in race condition checker and GUI report viewer.


%prep
%setup -q

rm -rf autom4te.cache

sed -i "s|/local||g" doc/covered.1    

# Desktop File
cat > %{name}.desktop << EOF
[Desktop Entry]
Encoding=UTF-8
Name=Coverage Analyzer
GenericName=Covered
Comment=Verilog code coverage analyzer
Type=Application
Exec=covered report -view
Icon=covered
Categories=Engineering;Electronics;
EOF

%build
# Enabling debug, so that users can use the -D argument
%configure \
    --with-iv=%{_prefix} \
    --with-cver=%{_includedir}/cver \
    --enable-debug

make %{?_smp_mflags}


%install
rm -rf %{buildroot}
make INSTALL="%{_bindir}/install -p" install DESTDIR=%{buildroot}


# desktop file and its icon
desktop-file-install --vendor "" \
    --dir %{buildroot}%{_datadir}/applications \
    %{name}.desktop
install -d %{buildroot}%{_datadir}/icons/hicolor/32x32/apps/
install -pm 0644 scripts/cov_icon.gif \
    %{buildroot}%{_datadir}/icons/hicolor/32x32/apps/%{name}.png
                 

%post
touch --no-create %{_datadir}/icons/hicolor &>/dev/null || :

%postun
if [ $1 -eq 0 ] ; then
    touch --no-create %{_datadir}/icons/hicolor &>/dev/null
    gtk-update-icon-cache %{_datadir}/icons/hicolor &>/dev/null || :
fi

%posttrans
gtk-update-icon-cache %{_datadir}/icons/hicolor &>/dev/null || :


%clean
rm -rf %{buildroot}


%files
%defattr(-,root,root,-)
%doc AUTHORS ChangeLog COPYING README TODO NEWS
# GUI needs this location
%doc %{_datadir}/%{name}/doc
%{_bindir}/%{name}
%dir %{_datadir}/%{name}
%{_datadir}/%{name}/.coveredrc
%{_datadir}/%{name}/scripts
%{_mandir}/man1/%{name}.1.gz
%{_libexecdir}/%{name}.cver.so
%{_libexecdir}/%{name}.vpi
%{_datadir}/applications/%{name}.desktop
%{_datadir}/icons/hicolor/32x32/apps/%{name}.png


%changelog
* Tue Feb 08 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.7.7-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild

* Tue Nov 17 2009 Chitlesh Goorah <chitlesh [AT] fedoraproject DOT org> 0.7.7-1
- Initial package for fedora.