Bug 480430 – [science overlay] sci-mathematics/frama-c-20120901 /usr/bin/install: cannot create regular file ‘lib/fc/new_offsetmap.cmi’: File exists

• Status: RESOLVED OBSOLETE
• Product: Gentoo Linux

[Description Anton Kochkov 2013-08-09 21:13:34 UTC]

Created attachment 355548 [details]
Full build log

make[1]: Entering directory `/var/tmp/portage/sci-mathematics/frama-c-20120901/work/frama-c-Oxygen-20120901'
Copying to   bytecode kernel API
make[1]: Entering directory `/var/tmp/portage/sci-mathematics/frama-c-20120901/work/frama-c-Oxygen-20120901'
Copying to   bytecode kernel API
Ocamlopt     cil/src/logic/logic_const.cmx
Ocamlopt     cil/src/cil.cmx
Ocamlopt     src/wp/fol_let.cmx
Ocamlopt     src/wp/fol_eqs.cmx
Ocamlopt     src/wp/fol_eval.cmx
/usr/bin/install: cannot create regular file ‘lib/fc/new_offsetmap.cmi’: File exists
/usr/bin/install: cannot change permissions of ‘lib/fc/command.cmi’: No such file or directory
Ocamlopt     src/wp/fol_split.cmx
/usr/bin/install: cannot create regular file ‘lib/fc/big_int_Z.cmi’: File exists
make[1]: *** [install-kernel-byte] Error 1
make[1]: *** [install-kernel-byte] Error 1
make[1]: Leaving directory `/var/tmp/portage/sci-mathematics/frama-c-20120901/work/frama-c-Oxygen-20120901'
make[1]: Leaving directory `/var/tmp/portage/sci-mathematics/frama-c-20120901/work/frama-c-Oxygen-20120901'
make: *** [top] Error 2
make: *** Waiting for unfinished jobs....
make: *** [byte] Error 2
emake failed
 [31;01m*[0m ERROR: sci-mathematics/frama-c-20120901::science failed (compile phase):
 [31;01m*[0m   emake failed
 [31;01m*[0m 
 [31;01m*[0m Call stack:
 [31;01m*[0m     ebuild.sh, line  93:  Called src_compile
 [31;01m*[0m   environment, line 2960:  Called die
 [31;01m*[0m The specific snippet of code:
 [31;01m*[0m       emake all top DESTDIR="/" || die "emake failed"
 [31;01m*[0m 
 [31;01m*[0m If you need support, post the output of `emerge --info '=sci-mathematics/frama-c-20120901::science'`,
 [31;01m*[0m the complete build log and the output of `emerge -pqv '=sci-mathematics/frama-c-20120901::science'`.
 [31;01m*[0m The complete build log is located at '/var/tmp/portage/sci-mathematics/frama-c-20120901/temp/build.log'.
 [31;01m*[0m The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/frama-c-20120901/temp/environment'.
 [31;01m*[0m Working directory: '/var/tmp/portage/sci-mathematics/frama-c-20120901/work/frama-c-Oxygen-20120901'
 [31;01m*[0m S: '/var/tmp/portage/sci-mathematics/frama-c-20120901/work/frama-c-Oxygen-20120901'

[Comment 1 Anton Kochkov 2013-08-09 21:15:26 UTC]

Created attachment 355550 [details]
emerge --info output

[Comment 2 Anton Kochkov 2013-08-29 20:12:09 UTC]

builds ok with MAKEOPTS="-j1"

[Comment 3 Justin Lecher (RETIRED) 2013-09-17 15:50:11 UTC]

(In reply to Anton Kochkov from comment #2)
> builds ok with MAKEOPTS="-j1"

Just add

MAKEOPTS+=" -j1"

to src_install()

PLease fork the overlay on github, bump and send a pull request.

[Comment 4 Marius Brehler 2015-04-03 09:25:00 UTC]

This issue seems fixed in sci-mathematics/frama-c-20140301, as emake is called with -j1.

[Comment 5 Anton Kochkov 2016-12-26 14:07:02 UTC]

http://frama-c.com/Changelog.html#Silicon-20161101 was released recently

[Comment 6 Anton Kochkov 2019-05-26 02:01:17 UTC]

No longer relevant.