diff options
author | Alexey Neyman <stilor@att.net> | 2022-02-14 08:11:42 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-02-14 08:11:42 (GMT) |
commit | 681aaef1f1ff39c341fdc529e0db2c14639a58d8 (patch) | |
tree | ce98c2b3d9648db065d27add325370392a35d584 /testing/docker/common-scripts/ctng-install | |
parent | ba680a3e5b8c62a7c1554e71f6d09903dac95a2f (diff) | |
parent | 86c2982568de1ad4d4cc12a65b19231331484405 (diff) |
Merge pull request #1674 from stilor/master
Updates to make `ct-ng build-all` pass
Diffstat (limited to 'testing/docker/common-scripts/ctng-install')
-rwxr-xr-x | testing/docker/common-scripts/ctng-install | 24 |
1 files changed, 13 insertions, 11 deletions
diff --git a/testing/docker/common-scripts/ctng-install b/testing/docker/common-scripts/ctng-install index 1efd264..1b635d9 100755 --- a/testing/docker/common-scripts/ctng-install +++ b/testing/docker/common-scripts/ctng-install @@ -1,23 +1,25 @@ #!/bin/bash set -e -# Mounted directory may already be configured - or may not -# even had bootstrapped. +# Mounted directory may already be configured. Trying to install from +# such directory would cause a failure in the container due to mismatch in +# command names/paths detected by configure on the host. +if [ -e /crosstool-ng/Makefile \ + -o -e /crosstool-ng/.build \ + -o -e /crosstool-ng/.build-all \ + -o -e /crosstool-ng/config.status ]; then + echo "ERROR :: The host directory must not be configured/built. Run 'git clean -fxd' before" >&2 + echo "ERROR :: installing crosstool-NG in the container." >&2 + exit 1 +fi tar cf - -C / \ - --exclude=crosstool-ng/.build \ - --exclude=crosstool-ng/.build.all \ --exclude=crosstool-ng/.git \ --exclude=crosstool-ng/testing/docker \ crosstool-ng | \ tar xf - cd crosstool-ng -if [ -r Makefile ]; then - make distclean -elif [ ! -r configure ]; then - ./bootstrap -fi -cd .. -cd work +./bootstrap +cd ../work ~/crosstool-ng/configure --prefix=/opt/ctng make make install |