On 17 October 2015 at 08:01, Volker Braun <vbraun.n...@gmail.com> wrote: > The sage pkg-config script uses the system pkg-config if it exists (so you > can use libraries that are installed system-wide), and our own pkgconf > binary if not. The decision is made at Sage build time, so you need to > reinstall (sage -f pkg-config) if you delete the /usr/bin/pkg-config. Though > then its also quite possible that you linked to system-wide libraries via > said pkg-config, so its probably better to just "make distclean && make" in > that case.
I will do that, though it is a pity that it is necessary. This setup has absolutely no hacking involved, just a straight system-wide install (one of 6 I do for every release for the machines I manage) with only the master branch existing and only updated for a full release (no betas etc). John > > > > On Saturday, October 17, 2015 at 1:14:24 PM UTC+2, Jeroen Demeyer wrote: >> >> On 2015-10-17 05:21, Francois Bissey wrote: >> > It looks, to me, like /usr/local/sage/sage-1/local/bin/pkg-config was >> > actually a script redirecting to /usr/bin/pkg-config. >> >> The problem boils down to: "pkgconf" != "pkg-config" >> >> Sage installs "pkgconf" but not "pkg-config" >> >> It adds a script redirecting $SAGE_LOCAL/bin/pkg-config to >> /usr/bin/pkg-config > > -- > 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.