gap spkg-install DESTDIR staging is broken

[mkoeppe]

Installing using SAGE_SUDO="sudo -E" make gap ends with the error:

libtool: link: (cd ".libs" && rm -f "libgap.dylib" && ln -s "libgap.0.dylib" "libgap.dylib")
libtool: link: ( cd ".libs" && rm -f "libgap.la" && ln -s "../libgap.la" "libgap.la" )
Building gap-4.11.1
Warning, 'make install-headers' is incomplete
/usr/bin/install -c -d -m 0755 /Users/mkoeppe/s/sage/sage-rebasing/worktree-sudo/local-root-owned/include/gap
install: mkdir /Users/mkoeppe/s/sage/sage-rebasing/worktree-sudo/local-root-owned/include/gap: Permission denied
make[3]: *** [install-headers] Error 71
********************************************************************************
Error building gap-4.11.1

CC: @embray @dimpase @jhpalmieri

Component: build

Issue created by migration from https://trac.sagemath.org/ticket/32481

[jhpalmieri]

comment:1

I saw this, too, but then running make a second time succeeded. Not sure why.