| #! /bin/sh | |
| # Copyright (C) 2010-2026 Free Software Foundation, Inc. | |
| # | |
| # This program is free software; you can redistribute it and/or modify | |
| # it under the terms of the GNU General Public License as published by | |
| # the Free Software Foundation; either version 2, or (at your option) | |
| # any later version. | |
| # | |
| # This program is distributed in the hope that it will be useful, | |
| # but WITHOUT ANY WARRANTY; without even the implied warranty of | |
| # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
| # GNU General Public License for more details. | |
| # | |
| # You should have received a copy of the GNU General Public License | |
| # along with this program. If not, see <https://www.gnu.org/licenses/>. | |
| # Make sure AC_LIBOBJ and friends work. | |
| # Please keep this in sync with sister test 'libobj16b.sh'. | |
| required=cc | |
| . test-init.sh | |
| mv configure.ac configure.proto | |
| cat >> configure.proto << 'END' | |
| AC_PROG_CC | |
| AM_PROG_AR | |
| AC_PROG_RANLIB | |
| %LIBOBJ-STUFF% # Will be activated later. | |
| AC_OUTPUT | |
| END | |
| cat > Makefile.am << 'END' | |
| noinst_LIBRARIES = libtu.a | |
| libtu_a_SOURCES = | |
| libtu_a_LIBADD = $(LIBOBJS) | |
| include extra-checks.am | |
| .PHONY: $(extra_checks) pre-test | |
| pre-test: distdir | |
| ls -l $(srcdir) $(builddir) $(distdir) | |
| $(AR) tv libtu.a | |
| $(extra_checks): pre-test | |
| check-local: $(extra_checks) | |
| maude-src: | |
| grep dummy_maude $(srcdir)/maude.c | |
| maude-dist: | |
| grep dummy_maude $(distdir)/maude.c | |
| liver-src: | |
| grep dummy_liver $(srcdir)/liver.c | |
| liver-dist: | |
| grep dummy_liver $(distdir)/liver.c | |
| liver-not-dist: distdir | |
| test ! -r $(distdir)/liver.c | |
| maude-not-dist: distdir | |
| test ! -r $(distdir)/maude.c | |
| maude-lib: | |
| $(AR) t libtu.a | grep maude | |
| maude-not-lib: | |
| $(AR) t libtu.a | grep maude && exit 1; exit 0 | |
| liver-lib: | |
| $(AR) t libtu.a | grep liver | |
| liver-not-lib: | |
| $(AR) t libtu.a | grep liver && exit 1; exit 0 | |
| END | |
| cat > maude.c << 'END' | |
| extern int dummy_maude; | |
| END | |
| cat > liver.c << 'END' | |
| extern int dummy_liver; | |
| END | |
| sed '/%LIBOBJ-STUFF%/{ | |
| s/.*// | |
| i\ | |
| AC_LIBOBJ([maude]) | |
| }' configure.proto > configure.ac | |
| cat configure.ac # For debugging. | |
| cat > extra-checks.am << 'END' | |
| extra_checks = maude-src maude-dist maude-lib liver-not-dist | |
| END | |
| $ACLOCAL | |
| $AUTOCONF | |
| $AUTOMAKE --add-missing | |
| ./configure | |
| $MAKE | |
| $MAKE check | |
| $MAKE distcheck | |
| $MAKE distclean | |
| # Avoid timestamp-related differences. | |
| rm -rf autom4te*.cache | |
| cat > extra-checks.am << 'END' | |
| extra_checks = maude-src maude-dist liver-src liver-dist | |
| if MAUDE_COND | |
| extra_checks += maude-lib liver-not-lib | |
| else | |
| extra_checks += maude-not-lib liver-lib | |
| endif | |
| END | |
| sed '/%LIBOBJ-STUFF%/{ | |
| s/.*// | |
| i\ | |
| AM_CONDITIONAL([MAUDE_COND], [test x"$MAUDE" = x"yes"])\ | |
| if test x"$MAUDE" = x"yes"; then\ | |
| AC_LIBOBJ([maude])\ | |
| else\ | |
| AC_LIBOBJ([liver])\ | |
| fi\ | |
| AC_LIBSOURCES([maude.c, liver.c]) | |
| }' configure.proto > configure.ac | |
| cat configure.ac # For debugging. | |
| $ACLOCAL | |
| $AUTOCONF | |
| $AUTOMAKE | |
| ./configure MAUDE=yes | |
| $MAKE | |
| $MAKE check | |
| $MAKE distcheck | |
| $MAKE distclean | |
| ./configure MAUDE=no | |
| $MAKE | |
| $MAKE check | |
| $MAKE distcheck | |
| $MAKE distclean | |
| : |