Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 780114 - sci-mathematics/coq-8.12.0-r1 - /usr/bin/install: target '/var/tmp/portage/sci-mathematics/coq-8.12.0-r1/image/usr/bin' is not a directory
Summary: sci-mathematics/coq-8.12.0-r1 - /usr/bin/install: target '/var/tmp/portage/sc...
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: AMD64 Linux
: Normal normal (vote)
Assignee: Gentoo Science Mathematics related packages
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2021-04-04 22:01 UTC by Maciej Barć
Modified: 2021-04-06 22:45 UTC (History)
2 users (show)

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

Attachments
emerge --info (emerge_info.txt,10.07 KB, text/plain)
2021-04-04 22:02 UTC, Maciej Barć 		Details
compressed logs (build.tar.gz,57.90 KB, application/gzip)
2021-04-04 22:16 UTC, Maciej Barć 		Details
View All 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 Maciej Barć gentoo-dev 2021-04-04 22:01:19 UTC 
version 8.12.0-r1 of sci-mathematics/coq fails to compile


install -m 644 revision "/var/tmp/portage/sci-mathematics/coq-8.12.0-r1/image/usr/lib64/coq"
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/coq-8.12.0-r1/work/coq-8.12.0'
make: *** [Makefile.make:178: submake] Error 2
Comment 1 Maciej Barć gentoo-dev 2021-04-04 22:02:54 UTC 
Created attachment 697632 [details]
emerge --info
Comment 2 Matthew Smith gentoo-dev 2021-04-04 22:09:15 UTC 
Thanks for the bug report.

Please could you attach the full build log? By default you can find it at /var/tmp/portage/sci-mathematics/coq/temp/build.log (see https://wiki.gentoo.org/wiki/Attach_the_logs_to_the_bug_ticket)

Afterwards we can re-open the ticket and assign it properly.
Comment 3 Maciej Barć gentoo-dev 2021-04-04 22:10:48 UTC 
(In reply to Matt Smith from comment #2)
> Thanks for the bug report.
> 
> Please could you attach the full build log? By default you can find it at
> /var/tmp/portage/sci-mathematics/coq/temp/build.log (see
> https://wiki.gentoo.org/wiki/Attach_the_logs_to_the_bug_ticket)
> 
> Afterwards we can re-open the ticket and assign it properly.



Thx fro reminder somehow it didnt got attached...
Comment 4 Maciej Barć gentoo-dev 2021-04-04 22:13:08 UTC 
The file you are trying to attach is 1077 kilobytes (KB) in size. Attachments cannot be more than 1000 KB. 

lol
Comment 5 Matthew Smith gentoo-dev 2021-04-04 22:15:59 UTC 
You can try compressing the logs and uploading the compressed file, running

  xz -9 /var/tmp/portage/sci-mathematics/coq-8.12.0-r1/temp/build.log

should produce a build.log.xz file that will hopefully be under the 1M limit :)
Comment 6 Maciej Barć gentoo-dev 2021-04-04 22:16:49 UTC 
Created attachment 697635 [details]
compressed logs
Comment 7 Maciej Barć gentoo-dev 2021-04-04 23:03:43 UTC 
Re-tried with USE="-gtk" and it passed

I get a feeling that lablgtk is broken
I tried to use it and the example from the lablgtk repo didnt work (https://github.com/garrigue/lablgtk/blob/lablgtk3/examples/hello.ml)
Comment 8 Larry the Git Cow gentoo-dev 2021-04-06 18:52:03 UTC 
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d4d142c374126879495eb125945c2b3d3e233a07

commit d4d142c374126879495eb125945c2b3d3e233a07
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2021-04-06 18:51:15 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2021-04-06 18:51:47 +0000

    sci-mathematics/coq: serialize install
    
    Closes: https://bugs.gentoo.org/780114
    Package-Manager: Portage-3.0.13, Repoman-3.0.2
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 sci-mathematics/coq/coq-8.12.0-r1.ebuild | 2 +-
 sci-mathematics/coq/coq-8.13.0.ebuild    | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)
Comment 9 Maciej Barć gentoo-dev 2021-04-06 22:45:28 UTC 
Works now. Thanks :D