On Saturday, April 25, 2020 at 9:02:42 AM UTC-7, Samuel Lelievre wrote: > > > 1. The 'configure' step suggested to run > > $ brew install ppl > > even though I already had Homebrew's ppl. Intrigued, > I took a look at the part of 'config.log' checking ppl: > > ``` > ## ---------------------------------------------------- ## > ## Checking whether SageMath should install SPKG ppl... ## > ## ---------------------------------------------------- ## > configure:27878: checking whether any of glpk gmp mpir > is installed as or will be installed as SPKG > configure:27882: result: yes; install ppl as well > configure:28277: no suitable system package found for SPKG ppl > ``` > > Since at least one of (glpk, gmp, mpir) either > was or would be installed as an SPKG, the script > concluded ppl should be installed as an SPKG too. > > So the decision to install ppl was based on that, > not on the absence of ppl. In such a case, maybe > the script should not recommend installing ppl > (at least not without checking if it is there). >
I collect wishlist items for this code at https://trac.sagemath.org/ticket/29146 ("Meta-ticket: Refactor system package related scripts, tox.ini, build/bin/write_dockerfile.sh") You can add your suggestion there. Won't happen for 9.1. -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/56db6645-9c7b-4bd7-840a-45fc2434633f%40googlegroups.com.
