You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
./configure should not create the directory hierarchy under SAGE_LOCAL.
Normally this is the task of make install; but since our make already does the equivalent of "make install" (see #21479 and #21495 for discussion), we should do this during make.
. . .
A possible implementation would be to use the currently unused automake-generated build/make/Makefile-auto to do that by calling make -f Makefile-auto install during make.
This also creates problems with $SAGE_SUDO and --prefix= set to a root-owned directory, since it effectively means we have to run ./configure as root. I agree it would be better to do in the Makefile, and run the relevant commands with $SAGE_SUDO.
./configure should not create the directory hierarchy under SAGE_LOCAL.
Normally this is the task of
make install
; but since ourmake
already does the equivalent of "make install" (see #21479 and #21495 for discussion), we should do this duringmake
.. . .
A possible implementation would be to use the currently unused automake-generated
build/make/Makefile-auto
to do that by callingmake -f Makefile-auto install
duringmake
.CC: @jdemeyer
Component: build
Issue created by migration from https://trac.sagemath.org/ticket/21532
The text was updated successfully, but these errors were encountered: