605892 – sci-mathematics/z3-4.5.0: installs python components into wrong location

Bug 605892 - sci-mathematics/z3-4.5.0: installs python components into wrong location

Summary: sci-mathematics/z3-4.5.0: installs python components into wrong location

Status:	RESOLVED FIXED

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	Current packages (show other bugs)
Hardware:	All Linux

Importance:	Normal normal (vote)
Assignee:	Mark Wright

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2017-01-16 14:00 UTC by Jonas Jelten
Modified:	2018-12-13 20:16 UTC (History)
CC List:	4 users (show)

See Also:
Package list:
Runtime testing required:	---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Jonas Jelten 2017-01-16 14:00:07 UTC

$ qlist z3
/usr/bin/z3
/usr/include/z3/z3.h
/usr/include/z3/z3_v1.h
/usr/include/z3/z3_macros.h
/usr/include/z3/z3_api.h
/usr/include/z3/z3_ast_containers.h
/usr/include/z3/z3_algebraic.h
/usr/include/z3/z3_polynomial.h
/usr/include/z3/z3_rcf.h
/usr/include/z3/z3_fixedpoint.h
/usr/include/z3/z3_optimization.h
/usr/include/z3/z3_interp.h
/usr/include/z3/z3_fpa.h
/usr/include/z3/z3++.h
/usr/lib64/libz3.so
/usr/lib64/python2.7/site-packages/setup.py
/usr/lib64/python2.7/site-packages/z3test.py
/usr/lib64/python2.7/site-packages/setup.pyc
/usr/lib64/python2.7/site-packages/z3test.pyc
/usr/lib64/python2.7/site-packages/setup.pyo
/usr/lib64/python2.7/site-packages/z3test.pyo

The python installation is clearly broken, especially that setup.py lies directly in the site-packages. The python module itself is missing though.

Comment 1 Mark Wright gentoo-dev

2017-01-28 08:57:21 UTC

Thanks for reporting, fixed in both z3-4.4.1 and z3-4.5.0.  To obtain
the fix, you will need to rebuild it, since I haven't revbumped it.
If you build it something like:

USE="examples python" emerge -av -1 sci-mathematics/z3

Then you can try out the python example if you like: in a directory where
you would like to try it out:

cp -pR /usr/share/z3/examples/examples/python/* .
python example.py

commit 7cea2dfa7e45f8d6fb0a0fbd5b3ff808ca25a585
Author: Mark Wright <gienah@gentoo.org>
Date:   Sat Jan 28 19:48:44 2017 +1100

    sci-mathematics/z3: Fix python API, thanks to Jonas Jelten for reporting.
    
    Create shared library soname symlinks.  Add examples USE flag.  Add || die
    on cat of files, except in pkg_postinst() where we want it to ignore any
    errors.
    
    Gentoo-Bug: 605892

Comment 2 Mateusz Lenik 2017-05-28 08:35:08 UTC

Any chance to get python3 support in gentoo repos? Adding it in PYTHON_COMPAT seems to do the job

Comment 3 Jonas Stein gentoo-dev

2017-05-28 08:40:46 UTC

Mateusz, please reopen a new ticket for this feature request. 
see also
https://wiki.gentoo.org/wiki/Bugzilla/Bug_report_guide

Comment 4 Michał Górny archtester

2018-12-13 20:16:59 UTC

I'm going to look at Python 3 soonish.