I am building sage-8.4 on a RPI3B running Raspbian Stretch and it is failing in the documentation compiling section stating that
The build directory may contain configuration files and other potentially
helpful information. WARNING: if you now run 'make' again, the build
directory will, by default, be deleted. Set the environment variable
SAGE_KEEP_BUILT_SPKGS to 'yes' to prevent this.
Makefile:31: recipe for target 'all-start' failed
make[1]: *** [all-start] Error 1
make[1]: Leaving directory '/home/pi/sage-8.3'
Makefile:13: recipe for target 'all' failed
make: *** [all] Error 2
So how do I do this? Will just export SAGE_KEEP_BUILT_SPKGS="yes"
suffice?