diff --git a/.gitignore b/.gitignore deleted file mode 100644 index ea0c29f..0000000 --- a/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -covered-0.7.7.tar.gz -/covered-0.7.10.tar.gz diff --git a/covered-0.7.10-tcl86.patch b/covered-0.7.10-tcl86.patch deleted file mode 100644 index 1f6a4c8..0000000 --- a/covered-0.7.10-tcl86.patch +++ /dev/null @@ -1,19 +0,0 @@ -diff --git a/src/report.c b/src/report.c -index 3066ee6..0ca547d 100644 ---- a/src/report.c -+++ b/src/report.c -@@ -1163,12 +1163,12 @@ void command_report( - assert( interp ); - - if( Tcl_Init( interp ) == TCL_ERROR ) { -- printf( "ERROR: %s\n", interp->result ); -+ printf( "ERROR: %s\n", Tcl_GetStringResult(interp) ); - Throw 0; - } - - if( Tk_SafeInit( interp ) == TCL_ERROR ) { -- printf( "ERROR: %s\n", interp->result ); -+ printf( "ERROR: %s\n", Tcl_GetStringResult(interp) ); - Throw 0; - } - diff --git a/covered.spec b/covered.spec deleted file mode 100644 index 69675b5..0000000 --- a/covered.spec +++ /dev/null @@ -1,167 +0,0 @@ -Name: covered -Version: 0.7.10 -Release: 8%{?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 - -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 - -# Fix for building with tcl/tk8.6 -Patch0: covered-0.7.10-tcl86.patch - -%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 - -%patch0 -p1 -b .tcl86 - -# tarball isn't packaged properly -# contains autotools' temporary files -rm -r autom4te.cache -# Fix timestamps to prevent the autoheader to be re-run -touch -r aclocal.m4 configure.in configure - -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 -# FIXME: Package suffers from c11/inline issues -# Workaround by appending -std=gnu89 to CFLAGS -# Proper fix would be to fix the source-code - -# Enabling debug, so that users can use the -D argument -%configure \ - --with-iv=%{_prefix} \ - --with-cver=%{_includedir}/cver \ - --enable-debug \ - CFLAGS="${CFLAGS} -std=gnu89" - -make %{?_smp_mflags} - - -%install -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 || : - - -%files -%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 -* Wed Feb 03 2016 Fedora Release Engineering - 0.7.10-8 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild - -* Mon Jul 13 2015 Ralf Corsépius - 0.7.10-7 -- Append -std=gnu89 to CFLAGS (Fix F23FTBFS, RHBZ#1239415). -- Modernize spec. -- Minor spec cleanups. - -* Wed Jun 17 2015 Fedora Release Engineering - 0.7.10-6 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild - -* Sat Aug 16 2014 Fedora Release Engineering - 0.7.10-5 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild - -* Sat Jun 07 2014 Fedora Release Engineering - 0.7.10-4 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild - -* Wed May 21 2014 Jaroslav Škarvada - 0.7.10-3 -- Rebuilt for https://fedoraproject.org/wiki/Changes/f21tcl86 - -* Sat Aug 03 2013 Fedora Release Engineering - 0.7.10-2 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild - -* Fri Mar 15 2013 Shakthi Kannan - 0.7.10-1 -- Updated package to 0.7.10 upstream release - -* Wed Feb 13 2013 Fedora Release Engineering - 0.7.7-5 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild - -* Wed Jul 18 2012 Fedora Release Engineering - 0.7.7-4 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild - -* Thu Jan 12 2012 Fedora Release Engineering - 0.7.7-3 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild - -* Tue Feb 08 2011 Fedora Release Engineering - 0.7.7-2 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild - -* Tue Nov 17 2009 Chitlesh Goorah 0.7.7-1 -- Initial package for fedora. diff --git a/dead.package b/dead.package new file mode 100644 index 0000000..274dcd8 --- /dev/null +++ b/dead.package @@ -0,0 +1,3 @@ +2016-05-31: Retired because it depends on dinotrace, which was +retired, because it was orphaned for more than six weeks. + diff --git a/sources b/sources deleted file mode 100644 index 8a7d263..0000000 --- a/sources +++ /dev/null @@ -1 +0,0 @@ -7f79e93471546810b166e9104236bda2 covered-0.7.10.tar.gz