Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 668964 - dev-lang/spark-2018 : make[2]: *** [Makefile:<snip>: all] Error 4
Summary: dev-lang/spark-2018 : make[2]: *** [Makefile:<snip>: all] Error 4
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Tupone Alfredo
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2018-10-18 17:25 UTC by Toralf Förster
Modified: 2018-10-19 20:30 UTC (History)
0 users

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


Attachments
emerge-info.txt (emerge-info.txt,17.71 KB, text/plain)
2018-10-18 17:25 UTC, Toralf Förster
Details
dev-lang:spark-2018:20181018-154244.log (dev-lang:spark-2018:20181018-154244.log,3.07 KB, text/plain)
2018-10-18 17:25 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,419.58 KB, text/plain)
2018-10-18 17:25 UTC, Toralf Förster
Details
environment (environment,49.19 KB, text/plain)
2018-10-18 17:25 UTC, Toralf Förster
Details
etc.portage.tbz2 (etc.portage.tbz2,19.08 KB, application/x-bzip)
2018-10-18 17:25 UTC, Toralf Förster
Details
temp.tbz2 (temp.tbz2,13.57 KB, application/x-bzip)
2018-10-18 17:25 UTC, Toralf Förster
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Toralf Förster gentoo-dev 2018-10-18 17:25:06 UTC
gprbind: could not locate gnatbind
gprbuild: unable to bind xtree.adb
make[2]: *** [Makefile:25: all] Error 4
make[2]: Leaving directory '/var/tmp/portage/dev-lang/spark-2018/work/spark-gpl-2018-src/gnat2why/why/xgen'
make[1]: *** [Makefile:41: setup] Error 2
make[1]: Leaving directory '/var/tmp/portage/dev-lang/spark-2018/work/spark-gpl-2018-src/gnat2why'

  -------------------------------------------------------------------

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.0-hardened_test_20181006-210654

  -------------------------------------------------------------------

gcc-config -l:
 [1] x86_64-pc-linux-gnu-7.3.1
 [2] x86_64-pc-linux-gnu-8.2.0 *

Available Python interpreters, in order of preference:
  [1]   python3.7
  [2]   python3.6
  [3]   python2.7 (fallback)
  [4]   pypy3 (fallback)
  [5]   pypy (fallback)
Available Ruby profiles:
  [1]   ruby23 (with Rubygems)
  [2]   ruby25 (with Rubygems) *
java-config:
The following VMs are available for generation-2:


emerge -qpvO dev-lang/spark
[ebuild  N    ] dev-lang/spark-2018
Comment 1 Toralf Förster gentoo-dev 2018-10-18 17:25:09 UTC
Created attachment 551808 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2018-10-18 17:25:12 UTC
Created attachment 551810 [details]
dev-lang:spark-2018:20181018-154244.log
Comment 3 Toralf Förster gentoo-dev 2018-10-18 17:25:18 UTC
Created attachment 551812 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2018-10-18 17:25:21 UTC
Created attachment 551814 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2018-10-18 17:25:23 UTC
Created attachment 551816 [details]
etc.portage.tbz2
Comment 6 Toralf Förster gentoo-dev 2018-10-18 17:25:26 UTC
Created attachment 551818 [details]
temp.tbz2
Comment 7 Larry the Git Cow gentoo-dev 2018-10-19 20:30:20 UTC
The bug has been closed via the following commit(s):

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

commit 1340f40143dcafb4f0d64de0fb7b58de01a892f5
Author:     Tupone Alfredo <tupone@gentoo.org>
AuthorDate: 2018-10-19 20:29:47 +0000
Commit:     Tupone Alfredo <tupone@gentoo.org>
CommitDate: 2018-10-19 20:30:10 +0000

    dev-ada/gprbuild: Fix gnatbind path
    
    Closes: https://bugs.gentoo.org/668964
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
    Package-Manager: Portage-2.3.49, Repoman-2.3.11

 dev-ada/gprbuild/files/gprbuild-2018-gentoo.patch              | 10 ++++++++++
 .../{gprbuild-2018-r2.ebuild => gprbuild-2018-r3.ebuild}       |  0
 2 files changed, 10 insertions(+)