On Thu, 14 Oct 2021, 20:35 Thierry, <sage-googlesu...@lma.metelu.net> 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 ? > we don't have such a make target just run make build > > > 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/20211014193553.GB15096%40metelu.net > . > -- 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/CAAWYfq2xeK6KQR62%2BzyEt9ude%3D111nq-1XXBpkBBZaUO3CFfuA%40mail.gmail.com.
