[berkeley-abc] 01/01: Added new patch from Clifford

[Ruben Undheim]

This is an automated email from the git hooks/post-receive script.

rubund-guest pushed a commit to branch master
in repository berkeley-abc.

commit 7d9d0c35dbe9eaee1dd1429d4926153c38e6eb5b
Author: Ruben Undheim <ruben.undheim at gmail.com>
Date:   Fri Apr 3 18:38:44 2015 +0200

    Added new patch from Clifford
---
 debian/patches/abc-bugfix-20150403.diff | 28 ++++++++++++++++++++++++++++
 debian/patches/series                   |  1 +
 2 files changed, 29 insertions(+)

diff --git a/debian/patches/abc-bugfix-20150403.diff b/debian/patches/abc-bugfix-20150403.diff
new file mode 100644
index 0000000..b1f1875
--- /dev/null
+++ b/debian/patches/abc-bugfix-20150403.diff
@@ -0,0 +1,28 @@
+Comment: Fixes a segfault seen on Ubuntu 15.04
+Author: Clifford Wolf <clifford at clifford.at> 
+Index: berkeley-abc/Makefile
+===================================================================
+--- berkeley-abc.orig/Makefile	2015-04-03 18:36:00.361381237 +0200
++++ berkeley-abc/Makefile	2015-04-03 18:37:00.951071738 +0200
+@@ -70,7 +70,7 @@
+ endif
+ 
+ # LIBS := -ldl -lrt
+-LIBS += -ldl -lbz2 -lz
++LIBS += -ldl -lbz2 -lz -lm
+ ifneq ($(findstring Darwin, $(shell uname)), Darwin)
+    LIBS += -lrt
+ endif
+Index: berkeley-abc/src/opt/ret/retIncrem.c
+===================================================================
+--- berkeley-abc.orig/src/opt/ret/retIncrem.c	2015-04-03 18:36:00.361381237 +0200
++++ berkeley-abc/src/opt/ret/retIncrem.c	2015-04-03 18:36:00.357383236 +0200
+@@ -176,7 +176,7 @@
+         {
+             // this is an old latch 
+             // get its number in the original order
+-            if ( ! st__lookup( tLatches, (char *)pLatch, (char **)&Index ) )
++            if ( ! st__lookup_int( tLatches, (char *)pLatch, &Index ) )
+             {
+                 printf( "Abc_NtkRetimeFinalizeLatches(): Internal error.\n" );
+                 return 0;
diff --git a/debian/patches/series b/debian/patches/series
index 5670f47..ad702a2 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -4,3 +4,4 @@ cflags_ldflags.patch
 04_memory_alignment_fix.patch
 reproducibility.patch
 writepla.patch
+abc-bugfix-20150403.diff

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/berkeley-abc.git