From b408001bac7a1a408ed821ac05aa4c286096205b Mon Sep 17 00:00:00 2001
From: Till Maas <opensource(a)till.name>
Date: Tue, 31 May 2016 23:44:48 +0200
Subject: 2016-05-31: Retired because it depends on dinotrace, which was
retired, because it was orphaned for more than six weeks.
---
.gitignore | 2 -
covered-0.7.10-tcl86.patch | 19 ------
covered.spec | 167 ---------------------------------------------
dead.package | 3 +
sources | 1 -
5 files changed, 3 insertions(+), 189 deletions(-)
delete mode 100644 .gitignore
delete mode 100644 covered-0.7.10-tcl86.patch
delete mode 100644 covered.spec
create mode 100644 dead.package
delete mode 100644 sources
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 <releng(a)fedoraproject.org> - 0.7.10-8
-- Rebuilt for
https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
-
-* Mon Jul 13 2015 Ralf Corsépius <corsepiu(a)fedoraproject.org> - 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 <rel-eng(a)lists.fedoraproject.org> -
0.7.10-6
-- Rebuilt for
https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
-
-* Sat Aug 16 2014 Fedora Release Engineering <rel-eng(a)lists.fedoraproject.org> -
0.7.10-5
-- Rebuilt for
https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
-
-* Sat Jun 07 2014 Fedora Release Engineering <rel-eng(a)lists.fedoraproject.org> -
0.7.10-4
-- Rebuilt for
https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
-
-* Wed May 21 2014 Jaroslav Škarvada <jskarvad(a)redhat.com> - 0.7.10-3
-- Rebuilt for
https://fedoraproject.org/wiki/Changes/f21tcl86
-
-* Sat Aug 03 2013 Fedora Release Engineering <rel-eng(a)lists.fedoraproject.org> -
0.7.10-2
-- Rebuilt for
https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
-
-* Fri Mar 15 2013 Shakthi Kannan <shakthimaan [AT] fedoraproject dot org> -
0.7.10-1
-- Updated package to 0.7.10 upstream release
-
-* Wed Feb 13 2013 Fedora Release Engineering <rel-eng(a)lists.fedoraproject.org> -
0.7.7-5
-- Rebuilt for
https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
-
-* Wed Jul 18 2012 Fedora Release Engineering <rel-eng(a)lists.fedoraproject.org> -
0.7.7-4
-- Rebuilt for
https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
-
-* Thu Jan 12 2012 Fedora Release Engineering <rel-eng(a)lists.fedoraproject.org> -
0.7.7-3
-- Rebuilt for
https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild
-
-* Tue Feb 08 2011 Fedora Release Engineering <rel-eng(a)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.
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
--
cgit v0.12
http://pkgs.fedoraproject.org/cgit/covered.git/commit/?h=master&id=b4...