diff options
author | Zack Weinberg <zackw@panix.com> | 2023-03-30 10:50:36 -0400 |
---|---|---|
committer | Zack Weinberg <zackw@panix.com> | 2023-04-02 09:17:57 -0400 |
commit | 8babe5f2ccb73cc574933743b381557a4db02424 (patch) | |
tree | b59e57f4394af59a67a385f1eab4eb6e5aee179b | |
parent | 794182506c3c5814d48b2fc4d832770f608ce0ef (diff) | |
download | autoconf-8babe5f2ccb73cc574933743b381557a4db02424.tar.gz |
New script for building inside Guix containers.
build-aux/test-build-guix, goes with the top level manifest.scm.
See the top of the file for usage instructions.
-rwxr-xr-x | build-aux/test-build-guix | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/build-aux/test-build-guix b/build-aux/test-build-guix new file mode 100755 index 00000000..4470af9b --- /dev/null +++ b/build-aux/test-build-guix @@ -0,0 +1,30 @@ +#! /bin/sh + +# From a pristine Git checkout, run +# guix shell --container --manifest=manifest.scm -- build-aux/test-build-guix +# to perform a complete bootstrap and test build of Autoconf. + +set -ex + +# Guix bug? /bin/sh is usually *not* the shell specified in the manifest. +SHELL="$(command -v sh)" +export SHELL +if [ "$(realpath /bin/sh)" != "$(realpath "$SHELL")" ]; then + ( + cd /bin + rm sh + ln -s "$SHELL" sh + ) + exec "$SHELL" "$0" "$@" +fi + +./bootstrap +if [ -d _build ]; then + rm -rf _build/* +else + mkdir _build +fi +cd _build +../configure +make all info pdf dvi +make distcheck |