[Bug 221321] math/z3: Add SONAME to the linked library

bugzilla-noreply at freebsd.org bugzilla-noreply at freebsd.org
Tue Aug 22 02:29:49 UTC 2017


https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=221321

--- Comment #8 from Steve Wills <swills at FreeBSD.org> ---
(In reply to arrowd from comment #7)
$ patch -p2 < attachment.cgi\?id=185536                        
Hmm...  Looks like a unified diff to me...                                      
The text leading up to this was:                
--------------------------                      
|Index: math/z3/files/patch-scripts_mk__util.py 
|===================================================================            
|--- math/z3/files/patch-scripts_mk__util.py     (revision 447066)              
|+++ math/z3/files/patch-scripts_mk__util.py     (working copy)                 
--------------------------                      
Patching file files/patch-scripts_mk__util.py using Plan A...                   
Hunk #1 failed at 14.                           
1 out of 1 hunks failed--saving rejects to files/patch-scripts_mk__util.py.rej  
done

-- 
You are receiving this mail because:
You are the assignee for the bug.


More information about the freebsd-ports-bugs mailing list