[PATCH V4] Support for the Algol 68 language

[Jose E. Marchesi]

[Changes from V3:
 - Rename A68FLAGS to A68CFLAGS as mandated by the GCS.
   Automake support has been updated accordingly upstream.
 Changes from V2:
 - Call the language 'Algol 68', not 'A68'.
 - Rename A68 shell variable to A68C.
 - Rename macro AC_PROG_A68 to AC_PROG_A68C.
 - Clarify where to get ga68 in the manual.
 - Adapt to latest language changes.
 Changes from V1:
 - Variables GA68* renamed to A68*.]

This patch adds support for the Algol 68 programming language to
Autoconf.  It is based on the Algol 68 GCC front-end, which is
currently under development [1].  The front-end is temporarily hosted
in the sourceware forge until integration in GCC is completed [3].

Note that the GCC Algol 68 front-end is not yet integrated in the main
compiler, so it is developed and distributed off-tree.  See
https://gcc.gnu.org/wiki/Algol68FrontEnd.  Additional information
about the Algol 68 programming language, and how it is being evolved
by the GNU Algol 68 Working Group can be found at
https://algol68-lang.org.

Automake support for Algol 68 has been already pushed as of 2 February
2025.

[1] https://gcc.gnu.org/wiki/Algol68FrontEnd
[2] 
https://inbox.sourceware.org/gcc-patches/20250101020952.18404-1-jose.marchesi@oracle.com/T/#t
[3] https://forge.sourceforge.org/gcc/gcc-a68

    Add support for the Algol68 programming language.

    * lib/autoconf/a68.m4: New file.
    * lib/autoconf/autoconf.m4: Include autoconf/a68.m4.
    * lib/autoconf/Makefile.am (dist_autoconflib_DATA): Add a68.m4.
    * lib/freeze.mk (autoconf_m4f_dependencies): Add
    $(src_libdir)/autoconf/a68.m4.
    * doc/autoconf.texi: Rebuild menus.
    (Preset Output Variables): Mention Algol 68.  Document A68CFLAGS.
    (Algol 68 Compiler): New subsection.
    (Language Choice): Mention Algol 68.
    (Generating Sources): Likewise.
    (Running the Preprocessor): Likewise.
    * tests/a68.at: New file.
    * tests/suite.at: Include a68.at.
    * tests/local.at (_AT_CHECK_ENV): Add A68C and A68CFLAGS.
    * NEWS: Update.
---
 NEWS                     |   3 +
 doc/autoconf.texi        |  52 ++++++++++++-
 lib/autoconf/a68.m4      | 153 +++++++++++++++++++++++++++++++++++++++
 lib/autoconf/autoconf.m4 |   1 +
 lib/freeze.mk            |   1 +
 lib/local.mk             |   1 +
 tests/a68.at             |  33 +++++++++
 tests/local.at           |   2 +-
 tests/local.mk           |   3 +
 tests/suite.at           |   2 +
 10 files changed, 247 insertions(+), 4 deletions(-)
 create mode 100644 lib/autoconf/a68.m4
 create mode 100644 tests/a68.at

diff --git a/NEWS b/NEWS
index 1e4e513e..41666059 100644
--- a/NEWS
+++ b/NEWS
@@ -28,6 +28,9 @@ GNU Autoconf NEWS - User visible changes.
   The autom4te, autoscan and ifnames programs now recognize the two
   preprocessor directives, which were introduced in C23 and C++23.
 
+*** Support for the Algol 68 programming language has been added.
+  The new macro AC_LANG_A68 sets variables A68C and A68CFLAGS.
+
 *** AC_PROG_AWK now also checks for busybox awk.
 
 *** AC_USE_SYSTEM_EXTENSIONS now defines _COSMO_SOURCE for Cosmopolitan Libc.
diff --git a/doc/autoconf.texi b/doc/autoconf.texi
index 7b156b82..2ea1a732 100644
--- a/doc/autoconf.texi
+++ b/doc/autoconf.texi
@@ -416,6 +416,7 @@ Compilers and Preprocessors
 * Erlang Compiler and Interpreter::  Likewise
 * Fortran Compiler::            Likewise
 * Go Compiler::                 Likewise
+* Algol 68 Compiler::           Likewise
 
 Writing Tests
 
@@ -2742,7 +2743,7 @@ programs to test for Fortran 77 features.
 Options for the linker.  If it is not set
 in the environment when @command{configure} runs, the default value is empty.
 @command{configure} uses this variable when linking programs to test for
-C, C++, Objective C, Objective C++, Fortran, and Go features.
+features in C, C++, Objective C, Objective C++, Fortran, Go, and Algol 68.
 
 This variable's contents should contain options like @option{-s} and
 @option{-L} that affect only the behavior of the linker.  Please see the
@@ -2785,6 +2786,13 @@ Debugging and optimization options for the Go compiler.  
It acts like
 @code{CFLAGS}, but for Go instead of C.
 @end defvar
 
+@defvar A68CFLAGS
+@evindex A68CFLAGS
+@ovindex A68CFLAGS
+Debugging and optimization options for the Algol 68 compiler.  It acts
+like @code{CFLAGS}, but for Algol 68 instead of C.
+@end defvar
+
 @defvar builddir
 @ovindex builddir
 Rigorously equal to @samp{.}.  Added for symmetry only.
@@ -7094,6 +7102,7 @@ compiling.
 * Erlang Compiler and Interpreter::  Likewise
 * Fortran Compiler::            Likewise
 * Go Compiler::                 Likewise
+* Algol 68 Compiler::           Likewise
 @end menu
 
 @node Specific Compiler Characteristics
@@ -8635,6 +8644,38 @@ If output variable @code{GOFLAGS} was not already set, 
set it to
 @end defmac
 
 
+@node Algol 68 Compiler
+@subsection Algol 68 Compiler
+@cindex Algol 68
+
+Autoconf provides basic support for the Algol 68 programming language
+when using the @code{ga68} compiler.
+
+Note that the GCC Algol 68 front-end is not yet integrated in the main
+compiler, so it is developed and distributed off-tree.  See
+@url{https://gcc.gnu.org/wiki/Algol68FrontEnd}.  Additional information
+about the Algol 68 programming language, and how it is being evolved by
+the GNU Algol 68 Working Group can be found at
+@url{https://algol68-lang.org}.
+
+@defmac AC_PROG_A68 (@ovar{compiler-search-list})
+Find the Algol 68 compiler to use.  Check whether the environment
+variable @code{A68C} is set; if so, then set output variable @code{A68C}
+to its value.
+
+Otherwise, if the macro is invoked without an argument, then search for
+an Algol 68 compiler named @code{ga68}.  If it is not found, then as a
+last resort set @code{A68C} to @code{ga68}.
+
+This macro may be invoked with an optional first argument which, if
+specified, must be a blank-separated list of Algol 68 compilers to
+search for.
+
+If output variable @code{A68CFLAGS} was not already set, set it to
+@option{-g -O2}.  If your package does not like this default,
+@code{A68CFLAGS} may be set before @code{AC_PROG_A68}l
+@end defmac
+
 @node System Services
 @section System Services
 
@@ -9185,6 +9226,10 @@ extension @file{.mm} for test programs.  Use compilation 
flags:
 @item Go
 Do compilation tests using @code{GOC} and use extension @file{.go} for
 test programs.  Use compilation flags @code{GOFLAGS}.
+
+@item Algol 68
+Do compilation tests using @code{A68C} and use extension @file{.a68} for
+test programs.  Use compilation flags @code{A68CFLAGS}.
 @end table
 @end defmac
 
@@ -9432,7 +9477,8 @@ on a system with @command{gcc} installed, results in:
 const char hw[] = "Hello, World\n";
 @end example
 
-When the test language is Fortran, Erlang, or Go, the @code{AC_DEFINE}
+When the test language is Fortran, Erlang, Go, or Algol 68,
+the @code{AC_DEFINE}
 definitions are not automatically translated into constants in the
 source code by this macro.
 
@@ -9557,7 +9603,7 @@ Nevertheless, if you need to run the preprocessor, then 
use
 @code{AC_PREPROC_IFELSE}.
 
 The macros described in this section cannot be used for tests in Erlang,
-Fortran, or Go, since those languages require no preprocessor.
+Fortran, Go, or Algol 68 since those languages require no preprocessor.
 
 @anchor{AC_PREPROC_IFELSE}
 @defmac AC_PREPROC_IFELSE (@var{input}, @ovar{action-if-true}, @
diff --git a/lib/autoconf/a68.m4 b/lib/autoconf/a68.m4
new file mode 100644
index 00000000..ca93818a
--- /dev/null
+++ b/lib/autoconf/a68.m4
@@ -0,0 +1,153 @@
+# This file is part of Autoconf.                       -*- Autoconf -*-
+# Algol 68 language support.
+# Copyright 2025 Free Software Foundation, Inc.
+
+# This file is part of Autoconf.  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 3 of the License, 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.
+#
+# Under Section 7 of GPL version 3, you are granted additional
+# permissions described in the Autoconf Configure Script Exception,
+# version 3.0, as published by the Free Software Foundation.
+#
+# You should have received a copy of the GNU General Public License
+# and a copy of the Autoconf Configure Script Exception along with
+# this program; see the files COPYINGv3 and COPYING.EXCEPTION
+# respectively.  If not, see <https://www.gnu.org/licenses/> and
+# 
<https://git.savannah.gnu.org/gitweb/?p=autoconf.git;a=blob_plain;f=COPYING.EXCEPTION>.
+
+# Algol 68 support contributed by Jose E. Marchesi.
+
+# ------------------- #
+# Language selection.
+# ------------------- #
+
+# AC_LANG(Algol 68)
+# -----------------
+AC_LANG_DEFINE([Algol 68], [a68], [A68], [A68C], [],
+[ac_ext=a68
+ac_compile='$A68C -c $A68CFLAGS conftest.$ac_ext >&AS_MESSAGE_LOG_FD'
+ac_link='$A68C -o conftest$ac_exeext $A68CFLAGS $LDFLAGS conftest.$ac_ext 
$LIBS >&AS_MESSAGE_LOG_FD'
+ac_compiler_gnu=yes
+])
+
+# AC_LANG_A68
+# -----------
+AU_DEFUN([AC_LANG_A68], [AC_LANG(Algol 68)])
+
+# ------------------- #
+# Producing programs.
+# ------------------- #
+
+# AC_LANG_PROGRAM(Algol 68)([PROLOGUE], [BODY])
+# ---------------------------------------------
+m4_define([AC_LANG_PROGRAM(Algol 68)],
+[$1
+begin $2 m4_ifnblank([$2],[;])
+      skip
+end])
+
+# _AC_LANG_IO_PROGRAM(Algol 68)
+# -----------------------------
+# Produce source that performs I/O.
+m4_define([_AC_LANG_IO_PROGRAM(Algol 68)],
+[AC_LANG_PROGRAM([],
+[if int fd = fcreate ("conftest.out", 8r0777); fd = -1
+ then perror ("error creating conftest.out")
+ elif fclose (fd) = -1 then perror ("error closing conftest.out");
+ fi;
+])])
+
+# AC_LANG_CALL(Algol 68)(PROLOGUE, FUNCTION)
+# ------------------------------------------
+# Avoid conflicting decl of main.
+m4_define([AC_LANG_CALL(Algol 68)],
+[AC_LANG_PROGRAM([],[])])
+
+# AC_LANG_FUNC_LINK_TRY(Algol 68)(FUNCTION)
+# -----------------------------------------
+# Try to link a program which calls FUNCTION.
+m4_define([AC_LANG_FUNC_LINK_TRY(Algol 68)],
+[AC_LANG_PROGRAM([],[])])
+
+# AC_LANG_BOOL_COMPILE_TRY(Algol 68)(PROLOGUE, EXPRESSION)
+# --------------------------------------------------------
+# Return a program which is valid if EXPRESSION is nonzero.
+m4_define([AC_LANG_BOOL_COMPILE_TRY(Algol 68)],
+[AC_LANG_PROGRAM([], [@<:@$2@:>@INT test multiple;
+                     0])])
+
+# AC_LANG_INT_SAVE(Algol 68)(PROLOGUE, EXPRESSION)
+# ------------------------------------------------
+m4_define([AC_LANG_INT_SAVE(Algol 68)],
+[AC_LANG_PROGRAM([
+proc itoa = (int i) string:
+      begin if i = 0
+           then "0"
+           else int n := ABS i;
+                string res;
+                while n /= 0
+                do int rem = n %* 10;
+                   res := (REPR (rem > 9 | (rem - 10) + ABS "a"
+                                 | rem + ABS "0")
+                           + res);
+                   n %:= 10
+                od;
+                (i < 0 | "-" + res | res)
+           fi
+      end;
+
+int ret := 0;
+int fd = fopen ("conftest.val", file o wronly)/
+(fd = -1 | ret := 1; stop);
+(fputs (fd, itoa ($2)) = 0 | ret := 1; stop)
+])])
+
+# ---------------------- #
+# Looking for compilers. #
+# ---------------------- #
+
+# AC_LANG_COMPILER(Algol 68)
+# --------------------------
+AC_DEFUN([AC_LANG_COMPILER(Algol 68)],
+[AC_REQUIRE([AC_PROG_A68C])])
+
+# AC_PROG_A68C
+# ------------
+AN_MAKEVAR([A68C], [AC_PROG_A68C])
+AN_PROGRAM([ga68], [AC_PROG_A68C])
+AC_DEFUN([AC_PROG_A68C],
+[AC_LANG_PUSH(Algol 68)dnl
+AC_ARG_VAR([A68C], [Algol 68 compiler command])dnl
+AC_ARG_VAR([A68CFLAGS], [Algol 68 compiler flags])dnl
+_AC_ARG_VAR_LDFLAGS()dnl
+m4_ifval([$1],
+      [AC_CHECK_TOOLS(A68C, [$1])],
+[AC_CHECK_TOOL(A68C, ga68)
+if test -z "$A68C"; then
+  if test -n "$ac_tool_prefix"; then
+    AC_CHECK_PROG(A68C, [${ac_tool_prefix}ga68], [$ac_tool_prefix}ga68])
+  fi
+fi
+if test -z "$A68C"; then
+  AC_CHECK_PROG(A68C, ga68, ga68, , , false)
+fi
+])
+
+# Provide some information about the compiler.
+_AS_ECHO_LOG([checking for _AC_LANG compiler version])
+set X $ac_compile
+ac_compiler=$[2]
+_AC_DO_LIMIT([$ac_compiler --version >&AS_MESSAGE_LOG_FD])
+m4_expand_once([_AC_COMPILER_EXEEXT])[]dnl
+m4_expand_once([_AC_COMPILER_OBJEXT])[]dnl
+A68CFLAGS="-g -O2"
+AC_LANG_POP(Algol 68)dnl
+])# AC_PROG_A68C
diff --git a/lib/autoconf/autoconf.m4 b/lib/autoconf/autoconf.m4
index c2b6aea3..d79888e9 100644
--- a/lib/autoconf/autoconf.m4
+++ b/lib/autoconf/autoconf.m4
@@ -44,6 +44,7 @@ m4_include([autoconf/c.m4])
 m4_include([autoconf/erlang.m4])
 m4_include([autoconf/fortran.m4])
 m4_include([autoconf/go.m4])
+m4_include([autoconf/a68.m4])
 m4_include([autoconf/functions.m4])
 m4_include([autoconf/headers.m4])
 m4_include([autoconf/types.m4])
diff --git a/lib/freeze.mk b/lib/freeze.mk
index 8239080e..9535306f 100644
--- a/lib/freeze.mk
+++ b/lib/freeze.mk
@@ -89,6 +89,7 @@ autoconf_m4f_dependencies =                   \
        $(src_libdir)/autoconf/fortran.m4       \
        $(src_libdir)/autoconf/erlang.m4        \
        $(src_libdir)/autoconf/go.m4            \
+       $(src_libdir)/autoconf/a68.m4           \
        $(src_libdir)/autoconf/functions.m4     \
        $(src_libdir)/autoconf/headers.m4       \
        $(src_libdir)/autoconf/types.m4         \
diff --git a/lib/local.mk b/lib/local.mk
index 98a7f36a..62440dd0 100644
--- a/lib/local.mk
+++ b/lib/local.mk
@@ -95,6 +95,7 @@ dist_autoconflib_DATA = \
   lib/autoconf/fortran.m4 \
   lib/autoconf/functions.m4 \
   lib/autoconf/go.m4 \
+  lib/autoconf/a68.m4 \
   lib/autoconf/headers.m4 \
   lib/autoconf/types.m4 \
   lib/autoconf/libs.m4 \
diff --git a/tests/a68.at b/tests/a68.at
new file mode 100644
index 00000000..e9ac00fc
--- /dev/null
+++ b/tests/a68.at
@@ -0,0 +1,33 @@
+#                                                      -*- Autotest -*-
+
+AT_BANNER([Algol 68 low level compiling and utility macros.])
+
+# Copyright (C) 2025 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 3 of the License, 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/>.
+
+
+# Since the macros which compile are required by most tests, check
+# them first.  But remember that looking for a compiler is even more
+# primitive, so check those first.
+
+
+## ------------------- ##
+## Algol 68 Compiler.  ##
+## ------------------- ##
+
+AT_CHECK_MACRO([Algol 68],
+[[AC_LANG(Algol 68)
+AC_LANG_COMPILER
+]])
diff --git a/tests/local.at b/tests/local.at
index 6bf31ab3..5fcaa8c8 100644
--- a/tests/local.at
+++ b/tests/local.at
@@ -581,7 +581,7 @@ if test -f state-env.before && test -f state-env.after; then
     ($EGREP -v '^(m4_join([|],
       [a[cs]_.*],
       [(exec_)?prefix|DEFS|CONFIG_STATUS],
-      
[CC|CFLAGS|CPPFLAGS|CPP|GCC|CXX|CXXFLAGS|CXXCPP|GXX|F77|FFLAGS|FLIBS|G77],
+      
[A68C|A68CFLAGS|CC|CFLAGS|CPPFLAGS|CPP|GCC|CXX|CXXFLAGS|CXXCPP|GXX|F77|FFLAGS|FLIBS|G77],
       [ERL|ERLC|ERLCFLAGS|ERLANG_PATH_ERL|ERLANG_ROOT_DIR|ERLANG_LIB_DIR],
       [ERLANG_LIB_DIR_.*|ERLANG_LIB_VER_.*|ERLANG_INSTALL_LIB_DIR],
       [ERLANG_INSTALL_LIB_DIR_.*|ERLANG_ERTS_VER|OBJC|OBJCPP|OBJCFLAGS],
diff --git a/tests/local.mk b/tests/local.mk
index 6a2c06a8..77808f7d 100644
--- a/tests/local.mk
+++ b/tests/local.mk
@@ -92,6 +92,7 @@ TESTSUITE_GENERATED_AT = \
   tests/acerlang.at \
   tests/acfortran.at \
   tests/acgo.at \
+  tests/aca68.at \
   tests/acgeneral.at \
   tests/acstatus.at \
   tests/acautoheader.at \
@@ -116,6 +117,7 @@ TESTSUITE_HAND_AT = \
   tests/erlang.at \
   tests/fortran.at \
   tests/go.at \
+  tests/a68.at \
   tests/semantics.at \
   tests/autoscan.at \
   tests/foreign.at
@@ -198,6 +200,7 @@ AUTOCONF_FILES = $(autoconfdir)/general.m4 \
                 $(autoconfdir)/erlang.m4 \
                 $(autoconfdir)/fortran.m4 \
                 $(autoconfdir)/go.m4 \
+                $(autoconfdir)/a68.m4 \
                 $(autoconfdir)/headers.m4 \
                 $(autoconfdir)/libs.m4 \
                 $(autoconfdir)/types.m4 \
diff --git a/tests/suite.at b/tests/suite.at
index 17fca508..1600bf32 100644
--- a/tests/suite.at
+++ b/tests/suite.at
@@ -55,6 +55,8 @@ m4_include([erlang.at])
 m4_include([acerlang.at])
 m4_include([go.at])
 m4_include([acgo.at])
+m4_include([a68.at])
+m4_include([aca68.at])
 
 # Checking that AC_CHECK_FOO macros work properly.
 m4_include([semantics.at])
-- 
2.30.2