There's no such make target, but a ticket to add such targets: https://trac.sagemath.org/ticket/31501
On Thursday, October 14, 2021 at 12:35:57 PM UTC-7 Thierry (sage-googlesucks@xxx) wrote: > Hi, > > let "pack" be an optional package with a spkg-configure.m4 file, and > assume that an equivalent package is installed from the distro and that > ./configure asserts that "using system package; SPKG will not be > installed". > > If i do "make pack", the package is installed anyway. What would be the > make command to install pack unless the distro provided ? > > Ciao, > Thierry > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/5b4c2142-c226-4f16-9715-452ff447805bn%40googlegroups.com.
