diff options
| -rw-r--r-- | .SRCINFO | 23 | ||||
| -rw-r--r-- | PKGBUILD | 44 | ||||
| -rw-r--r-- | covered_fixes.patch | 30 |
3 files changed, 97 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..ba3833004475 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,23 @@ +pkgbase = covered + pkgdesc = Verilog Code Coverage Analyzer + pkgver = 0.7.10 + pkgrel = 3 + url = http://covered.sourceforge.net/ + arch = x86_64 + arch = i686 + license = GPL + makedepends = gcc + makedepends = flex + makedepends = bison + makedepends = make + makedepends = gperf + depends = tcl + depends = tk + depends = tablelist + source = http://sourceforge.net/projects/covered/files/covered-stable/covered-0.7.10/covered-0.7.10.tar.gz + source = covered_fixes.patch + md5sums = 7f79e93471546810b166e9104236bda2 + md5sums = c90ca06190073dec91cc8a0f591dde6a + +pkgname = covered + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..479b56f46a46 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,44 @@ +# Maintainer: tequa +pkgname=covered +pkgver=0.7.10 +pkgrel=3 +epoch= +pkgdesc="Verilog Code Coverage Analyzer" +arch=('x86_64' 'i686') +url="http://covered.sourceforge.net/" +license=('GPL') +groups=() +depends=('tcl' 'tk' 'tablelist') +makedepends=('gcc' 'flex' 'bison' 'make' 'gperf') +checkdepends=() +optdepends=() +provides=() +conflicts=() +replaces=() +backup=() +options=() +install= +changelog= +source=("http://sourceforge.net/projects/covered/files/${pkgname}-stable/${pkgname}-${pkgver}/${pkgname}-${pkgver}.tar.gz" + "${pkgname}_fixes.patch") +noextract=() +md5sums=("7f79e93471546810b166e9104236bda2" + "c90ca06190073dec91cc8a0f591dde6a") +validpgpkeys=() + +prepare() { + cd "$pkgname-$pkgver" + patch -p1 -i "$srcdir/${pkgname}_fixes.patch" +} + +build() { + cd "$pkgname-$pkgver" + ./configure --prefix=/usr + make +} + +package() { + cd "$pkgname-$pkgver" + make DESTDIR="$pkgdir/" install + rmdir ${pkgdir}/usr/libexec +} diff --git a/covered_fixes.patch b/covered_fixes.patch new file mode 100644 index 000000000000..1d97d89278cf --- /dev/null +++ b/covered_fixes.patch @@ -0,0 +1,30 @@ +diff -Naur covered-0.7.10/src/lxt2_read.h covered-0.7.10_orig/src/lxt2_read.h +--- covered-0.7.10/src/lxt2_read.h 2008-06-27 16:02:03.000000000 +0200 ++++ covered-0.7.10_orig/src/lxt2_read.h 2015-10-29 21:33:17.980950276 +0100 +@@ -48,7 +48,7 @@ + #endif + + #ifdef __GNUC__ +-#define _LXT2_RD_INLINE inline ++#define _LXT2_RD_INLINE + #else + #define _LXT2_RD_INLINE + #endif +diff -Naur covered-0.7.10/src/report.c covered-0.7.10_orig/src/report.c +--- covered-0.7.10/src/report.c 2010-03-26 07:10:18.000000000 +0100 ++++ covered-0.7.10_orig/src/report.c 2015-10-29 21:28:49.177000735 +0100 +@@ -1163,12 +1163,12 @@ + assert( interp ); + + if( Tcl_Init( interp ) == TCL_ERROR ) { +- printf( "ERROR: %s\n", interp->result ); ++ printf( "ERROR: %s\n", Tcl_GetString(Tcl_GetObjResult(interp))); + Throw 0; + } + + if( Tk_SafeInit( interp ) == TCL_ERROR ) { +- printf( "ERROR: %s\n", interp->result ); ++ printf( "ERROR: %s\n", Tcl_GetString(Tcl_GetObjResult(interp))); + Throw 0; + } + |