[berkeley-abc] 01/01: Patch for "fails to export trivial .PLA files"

[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 80fc3960bfbc464b4f5d5d112d5df26a1c36b0b8
Author: Ruben Undheim <ruben.undheim at gmail.com>
Date:   Tue Mar 31 17:14:01 2015 +0200

    Patch for "fails to export trivial .PLA files"
---
 debian/changelog              | 10 ++++++----
 debian/patches/series         |  1 +
 debian/patches/writepla.patch | 17 +++++++++++++++++
 3 files changed, 24 insertions(+), 4 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 01da386..b7bd457 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,9 +1,11 @@
 berkeley-abc (1.01+20141105hg5b5af75+dfsg-2) unstable; urgency=medium
 
-  * Patch for memory alignment issue - already applied upstream
-    - debian/patches/04_memory_alignment_fix.patch
-  * Patch for reproducibility (Closes: #780449)
-    - debian/patches/reproducibility.patch
+  * debian/patches/04_memory_alignment_fix.patch:
+    - Patch for memory alignment issue - already applied upstream
+  * debian/patches/reproducibility.patch:
+    - Patch for reproducibility (Closes: #780449)
+  * debian/patches/writepla.patch:
+    - Fixed "fails to export trivial .PLA files" (Closes: #780450)
 
  -- Ruben Undheim <ruben.undheim at gmail.com>  Tue, 31 Mar 2015 16:12:51 +0200
 
diff --git a/debian/patches/series b/debian/patches/series
index e23a0cd..5670f47 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -3,3 +3,4 @@ remove_zlib_convenience.patch
 cflags_ldflags.patch
 04_memory_alignment_fix.patch
 reproducibility.patch
+writepla.patch
diff --git a/debian/patches/writepla.patch b/debian/patches/writepla.patch
new file mode 100644
index 0000000..068173b
--- /dev/null
+++ b/debian/patches/writepla.patch
@@ -0,0 +1,17 @@
+Description: soften an overzealous assert
+ otherwise the abc will refuse to output trivial functions(constant 1 or 0).
+Forwarded: https://bitbucket.org/alanmi/abc/issue/27/assertion-failure-in-write_pla-command
+Author: Johann Klammer <klammerj at a1.net>
+Index: berkeley-abc/src/base/io/ioWritePla.c
+===================================================================
+--- berkeley-abc.orig/src/base/io/ioWritePla.c	2015-03-31 17:11:10.153821268 +0200
++++ berkeley-abc/src/base/io/ioWritePla.c	2015-03-31 17:11:10.149821268 +0200
+@@ -50,7 +50,7 @@
+     FILE * pFile;
+ 
+     assert( Abc_NtkIsSopNetlist(pNtk) );
+-    assert( Abc_NtkLevel(pNtk) == 1 );
++    assert( Abc_NtkLevel(pNtk) <= 1 );
+ 
+     pFile = fopen( pFileName, "w" );
+     if ( pFile == NULL )

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