Gap install error "Text file busy"

[vbraun]

I haven't seen this one before:

[gap-4.8.3] Installing (copying) files...
[gap-4.8.3] cp: cannot create regular file '/home/buildbot/slave/sage_git/build/local/gap/gap-4.8.3/bin/x86_64-unknown-linux-gnu-gcc-default64/gap': Text file busy
[gap-4.8.3] Error copying built GAP files.

Appears only randomly. The "text file busy" error means that we are trying to modify a currently-running executable (the text segment, nothing to do with plain text). Presumably thats a parallel build dependency error.

CC: @dimpase

Component: build

Keywords: random_fail

Author: Jeroen Demeyer

Branch/Commit: 573afa5

Reviewer: Dima Pasechnik

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

[dimpase]

comment:1

I have seen this quite a bit, and yes, killing GAP processes helps.
No idea how to fix this nicely, though.

[jdemeyer]

Branch: u/jdemeyer/gap_install_error__text_file_busy_

[dimpase]

Commit: dc8c742

[dimpase]

comment:3

makes sense!

---

New commits:

dc8c742

Clean GAP installation directory before re-installing

[jdemeyer]

Author: Jeroen Demeyer

[dimpase]

Reviewer: Dima Pasechnik

[vbraun]

Changed branch from u/jdemeyer/gap_install_error__text_file_busy_ to dc8c742

[vbraun]

Changed branch from dc8c742 to u/jdemeyer/gap_install_error__text_file_busy_

[vbraun]

comment:7

I'm getting

[gap-4.8.3] Removing previous installation of GAP...
[gap-4.8.3] Installing (copying) files...
[gap-4.8.3] mkdir: cannot create directory '/home/buildslave-sage/slave/sage_git/build/local/gap/gap-4.8.3': No such file or directory
[gap-4.8.3] Error copying built GAP files.

The mkdir -p was important after all...

---

New commits:

dc8c742

Clean GAP installation directory before re-installing

[jdemeyer]

comment:8

Of course the -p is important. I will confused because -p does two things:

1. It will create any non-existing parent directories.

2. It will not complain if the directory already exists.

I thought that the -p was only needed for 2. but it is obviously also needed for 1.

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

573afa5

Make sure that we create $SAGE_LOCAL/gap

[sagetrac-git]

Changed commit from dc8c742 to 573afa5

[dimpase]

comment:11

OK.

[vbraun]

Changed branch from u/jdemeyer/gap_install_error__text_file_busy_ to 573afa5