On Thu, 14 Oct 2021, 20:35 Thierry, 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.