Building 6.9 in a directory which had had 6.7, after pulling master from trac, ./configure and make, I get a failure building brial:
checking for pkg-config... /usr/local/sage/sage-1/local/bin/pkg-config checking pkg-config is at least version 0.9.0... /usr/local/sage/sage-1/local/bin/pkg-config: line 16: /usr/bin/pkg-config: No such file or directory no checking for M4RI... no configure: error: in `/usr/local/sage/sage-1/local/var/tmp/sage/build/brial-0.8.4.3/src': configure: error: The pkg-config script could not be found or is too old. Make sure it is in your PATH or set the PKG_CONFIG environment variable to the full path to pkg-config. Is this saying that I need to upgrade some piece of system software? If so, would it not be better to detect this problem during ./configure? John On 15 October 2015 at 20:42, kcrisman <kcris...@gmail.com> wrote: > >> On 2015-10-14 17:25, kcrisman wrote: >> > Still annoying: builds fine from scratch and passes all tests. BUT >> > then: >> > >> > $ ./sage -bdist >> > Sage version 6.9, release date 2015-10-10 >> > rm -rf config configure build/make/Makefile-auto.in >> > Attempting to download package configure-119.tar.gz from mirrors >> >> Context please... are you building from git or from an source tarball? >> > > Source tarball. From git I wouldn't have minded so much, since that already > implies internet connection and downloading the packages. Sorry if that > wasn't clear. > > -- > You received this message because you are subscribed to the Google Groups > "sage-release" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-release+unsubscr...@googlegroups.com. > To post to this group, send email to sage-release@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-release. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-release+unsubscr...@googlegroups.com. To post to this group, send email to sage-release@googlegroups.com. Visit this group at http://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/d/optout.