make bootstrap error with MLKit 4.6.0

[MatthewFluet]

I tried building MLKit 4.6.0 (from the Source code (tar.gz) release file) using ./configure && make mlkit && make bootstrap && make mlkit_libs and encountered an error with the make bootstrap step:

[matthew@shadow mlkit-4.6.0]$ make bootstrap
./mkinstalldirs bootstrap
rm -rf MLB *~ .#* bootstrap/mlkit-v1
make bootstrap_first INSTDIR=bootstrap/mlkit-v1 DATADIR=bootstrap/mlkit-v1 LIBDIR=bootstrap/mlkit-v1 \
                        MANDIR=bootstrap/mlkit-v1/man BINDIR=bootstrap/mlkit-v1/bin
make[1]: Entering directory '/home/matthew/devel/mlkit/mlkit-4.6.0'
make install_top
make[2]: Entering directory '/home/matthew/devel/mlkit/mlkit-4.6.0'
./mkinstalldirs bootstrap/mlkit-v1
mkdir -p -- bootstrap/mlkit-v1
./mkinstalldirs bootstrap/mlkit-v1/bin
mkdir -p -- bootstrap/mlkit-v1/bin
/usr/bin/install -c -m 644 Makefile Makefile.in bootstrap/mlkit-v1
/usr/bin/install -c -m 644 Makefiledefault bootstrap/mlkit-v1
/usr/bin/install -c mkinstalldirs configure bootstrap/mlkit-v1
make install_basis
make[3]: Entering directory '/home/matthew/devel/mlkit/mlkit-4.6.0'
./mkinstalldirs bootstrap/mlkit-v1/basis
mkdir -p -- bootstrap/mlkit-v1/basis
./mkinstalldirs bootstrap/mlkit-v1/basis/io
mkdir -p -- bootstrap/mlkit-v1/basis/io
/usr/bin/install -c -m 644 -p basis/*.{sml,sig,mlb,log} bootstrap/mlkit-v1/basis
/usr/bin/install: cannot stat 'basis/*.log': No such file or directory
make[3]: *** [Makefile:154: install_basis] Error 1
make[3]: Leaving directory '/home/matthew/devel/mlkit/mlkit-4.6.0'
make[2]: *** [Makefile:175: install_top] Error 2
make[2]: Leaving directory '/home/matthew/devel/mlkit/mlkit-4.6.0'
make[1]: *** [Makefile:299: bootstrap_first] Error 2
make[1]: Leaving directory '/home/matthew/devel/mlkit/mlkit-4.6.0'
make: *** [Makefile:326: bootstrap] Error 2

[MatthewFluet]

I'm able to build using the process in the GitHub actions (make mlkit && make mlkit_libs && make bootstrap), but if I follow the process in the README.md (make mlkit && make bootstrap && make mlkit_libs), then I still get errors during the make bootstrap:

[mtf@sulfer mlkit.git]$ make bootstrap
./mkinstalldirs bootstrap
rm -rf MLB *~ .#* bootstrap/mlkit-v1
make bootstrap_first INSTDIR=bootstrap/mlkit-v1 DATADIR=bootstrap/mlkit-v1 LIBDIR=bootstrap/mlkit-v1 \
                        MANDIR=bootstrap/mlkit-v1/man BINDIR=bootstrap/mlkit-v1/bin
make[1]: Entering directory '/home/mtf/devel/mlkit/mlkit.git'
make install_top
make[2]: Entering directory '/home/mtf/devel/mlkit/mlkit.git'
./mkinstalldirs bootstrap/mlkit-v1
mkdir -p -- bootstrap/mlkit-v1
./mkinstalldirs bootstrap/mlkit-v1/bin
mkdir -p -- bootstrap/mlkit-v1/bin
/usr/bin/install -c -m 644 Makefile Makefile.in bootstrap/mlkit-v1
/usr/bin/install -c -m 644 Makefiledefault bootstrap/mlkit-v1
/usr/bin/install -c mkinstalldirs configure bootstrap/mlkit-v1
make install_basis
make[3]: Entering directory '/home/mtf/devel/mlkit/mlkit.git'
./mkinstalldirs bootstrap/mlkit-v1/basis
mkdir -p -- bootstrap/mlkit-v1/basis
./mkinstalldirs bootstrap/mlkit-v1/basis/io
mkdir -p -- bootstrap/mlkit-v1/basis/io
/usr/bin/install -c -m 644 -p basis/*.{sml,sig,mlb} bootstrap/mlkit-v1/basis
/usr/bin/install -c -m 644 -p basis/io/*.{sml,sig} bootstrap/mlkit-v1/basis/io
test -n "`ls -1 basis/* | grep '.log'`" && /usr/bin/install -c -m 644 -p basis/*.log bootstrap/mlkit-v1/basis
make[3]: *** [Makefile:156: install_basis] Error 1
make[3]: Leaving directory '/home/mtf/devel/mlkit/mlkit.git'
make[2]: *** [Makefile:177: install_top] Error 2
make[2]: Leaving directory '/home/mtf/devel/mlkit/mlkit.git'
make[1]: *** [Makefile:301: bootstrap_first] Error 2
make[1]: Leaving directory '/home/mtf/devel/mlkit/mlkit.git'
make: *** [Makefile:328: bootstrap] Error 2

[melsman]

Thanks! I have modified the README.md file...