On Mon, Dec 04, 2017 at 03:47:31PM +0100, Jeroen Demeyer wrote:
> On 2017-12-04 15:37, Thierry wrote:
> >No, we have to be able to remove all the old stuff from the package.
>
> You said "rebuilds the package and its dependencies" but you really mean
> "uninstalls the package and its dependencies" (possibly followed by a
> rebuild which is just a normal build at that point)?
Yes, this is what i meant, the previous sentence ("When the ability to
remove packages will be ready...") should have made it clear, sorry for
being imprecise. The goal is to have a localized dist-clean.
The problem in just rebuilding is that there might be old files lying
around still interacting, this may be a cause to some `make dist-clean`,
that involves long recompilation (my computer is pretty old).
As a personnal workaround, when i have to test an openssl package upgrade,
i make an overlay in RAM to avoid to dist-clean afterwards (in my daily
use, i rely on the system's openssl). In case some people want to save
time in similar situations, here are the interesting parts of my personnal
"sagedev" script (probably not working on non-Linux kernels):
(overlay) # : make an overlay in RAM (a tmpfs is mounted on /tmp) to
test something
if [ ! -d /tmp/overlaysage/ ] ; then
mkdir -p /tmp/overlaysage/upper /tmp/overlaysage/work
sudo mount -t overlay -o
lowerdir=${SAGE_DIRECTORY},upperdir=/tmp/overlaysage/upper,workdir=/tmp/overlaysage/work
none ${SAGE_DIRECTORY}
fi
;;
(unoverlay) # : undo overlay
sudo umount ${SAGE_DIRECTORY} && rm -rf /tmp/overlaysage/
;;
Ciao,
Thierry
>
> As Erik said, uninstalling is currently not supported but we have a fix
> coming for that. But I'm a bit puzzled why you would want to uninstall a
> package *and its dependencies*.
>
> --
> 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 post to this group, send email to sage-devel@googlegroups.com.
> Visit this group at https://groups.google.com/group/sage-devel.
> For more options, visit https://groups.google.com/d/optout.
--
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
