Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 398857 - dev-python/cvxopt-1.1.4[doc]: work/doc: No such file or directory.
Summary: dev-python/cvxopt-1.1.4[doc]: work/doc: No such file or directory.
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: [OLD] Development (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Science Mathematics related packages
URL:
Whiteboard:
Keywords: PATCH
Depends on:
Blocks:
 
Reported: 2012-01-14 09:56 UTC by Martin von Gagern
Modified: 2012-01-16 20:37 UTC (History)
0 users

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


Attachments
Fix v1 (gentoo398857a.patch,553 bytes, patch)
2012-01-14 09:58 UTC, Martin von Gagern
Details | Diff
Fix v2 (gentoo398857b.patch,741 bytes, patch)
2012-01-16 20:31 UTC, Martin von Gagern
Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Martin von Gagern 2012-01-14 09:56:10 UTC
Emerging cvxopt with USE=doc fails for me.

make -j5 -C /var/tmp/portage/dev-python/cvxopt-1.1.4/work/doc
         -B /var/tmp/portage/dev-python/cvxopt-1.1.4/work/html 
make: *** /var/tmp/portage/dev-python/cvxopt-1.1.4/work/doc:
          No such file or directory.  Stop.
 * ERROR: dev-python/cvxopt-1.1.4 failed (compile phase):
 *   emake failed

Makes sense to me: there really is no such directory, and no code in the ebuild that should set it up. The following is a possible fix:

 src_compile() {
        distutils_src_compile
-       use doc && emake -C "${WORKDIR}"/doc -B "${WORKDIR}"/html
+       if use doc; then
+               mkdir "${WORKDIR}"/${P}/html
+               emake -C "${WORKDIR}"/${P}/doc -B "${WORKDIR}"/${P}/html
+       fi
 }
Comment 1 Martin von Gagern 2012-01-14 09:58:13 UTC
Created attachment 298911 [details, diff]
Fix v1

The fix I inlined above.
Comment 2 Martin von Gagern 2012-01-14 10:02:08 UTC
Sorry, I've been hasty: the patch makes the package emerge, but there is still no documentation. Using ${WORKDIR}/${P}/doc instead of ${WORKDIR}/doc should certainly be an improvement, as the former does exist where the latter does not, and the target dir of ${WORKDIR}/${P}/html also better matches the path used in the dohtml call in src_install. But apparently this still isn't enough; make warns about having nothing to do.
Comment 3 Martin von Gagern 2012-01-16 20:31:02 UTC
Created attachment 299093 [details, diff]
Fix v2

This looks better, now there actually is a generated html documentation.
I realized that the -B flag to make doesn't take a path argument, and that the subsequent argument therefore should be the name of a target, "html" without any directory name in this case.
Comment 4 Sébastien Fabbro (RETIRED) gentoo-dev 2012-01-16 20:37:53 UTC
in cvs. thanks!