ping
> ping > >> [Differences 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]. A WIP series got sent to gcc-patches in January >> [2], and the front-end is temporarily hosted in the sourceware forge >> until integration in GCC is completed [3]. >> >> The full language is (almost) already implemented, the compiler is >> useful and I plan to send official patches for inclusion in GCC 16 very >> soon. >> >> 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.march...@oracle.com/T/#t >> >> [3] https://forge.sourceforge.org/jemarch/a68-gcc >> >> 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 A68FLAGS. >> (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 and aca68.at. >> * tests/local.at (_AT_CHECK_ENV): Add A68 and A68FLAGS. >> * tests/Makefile.am (TESTSUITE_GENERATED_AT): Add >> $(srcdir)/aca68.at. >> (TESTSUITE_HAND_AT): Add a68.at. >> (AUTOCONF_FILES): Add $(autoconfdir)/a68.m4. >> * NEWS: Update. >> >> diff --git a/NEWS b/NEWS >> index b859fff6..e601b781 100644 >> --- a/NEWS >> +++ b/NEWS >> @@ -2,6 +2,9 @@ GNU Autoconf NEWS - User visible changes. >> >> * Noteworthy changes in release ?.? (????-??-??) [?] >> >> +** Support for the Algol 68 programming language has been added. The new >> macro >> + AC_LANG_A68 sets variables A68 and A68FLAGS. >> + >> ** Backward incompatibilities >> >> *** AC_PROG_CC now prefers C23 if available. >> diff --git a/doc/autoconf.texi b/doc/autoconf.texi >> index 8dffd02c..33df1708 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 >> >> @@ -2741,7 +2742,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. >> +C, C++, Objective C, Objective C++, Fortran, Go and Algol 68 features. >> >> This variable's contents should contain options like @option{-s} and >> @option{-L} that affect only the behavior of the linker. Please see the >> @@ -2784,6 +2785,13 @@ Debugging and optimization options for the Go >> compiler. It acts like >> @code{CFLAGS}, but for Go instead of C. >> @end defvar >> >> +@defvar A68FLAGS >> +@evindex A68FLAGS >> +@ovindex A68FLAGS >> +Debugging and optimization options for the Algol 68 compiler. It acts >> +like @code{CFLAGS}, but for Algol68 instead of C. >> +@end defvar >> + >> @defvar builddir >> @ovindex builddir >> Rigorously equal to @samp{.}. Added for symmetry only. >> @@ -7088,6 +7096,7 @@ compiling. >> * Erlang Compiler and Interpreter:: Likewise >> * Fortran Compiler:: Likewise >> * Go Compiler:: Likewise >> +* Algol 68 Compiler:: Likewise >> @end menu >> >> @node Specific Compiler Characteristics >> @@ -8629,6 +8638,31 @@ 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. >> + >> +@defmac AC_PROG_A68 (@ovar{compiler-search-list}) >> +Find the Algol 68 compiler to use. Check whether the environment >> +variable @code{A68} is set; if so, then set output variable @code{A68} >> +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{A68} 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{A68FLAGS} was not already set, set it to >> +@option{-g -O2}. If your package does not like this default, >> +@code{A68FLAGS} may be set before @code{AC_PROG_A68}l >> +@end defmac >> + >> @node System Services >> @section System Services >> >> @@ -9179,6 +9213,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{A68} and use extension @file{.a68} for >> +test programs. Use compilation flags @code{A68FLAGS}. >> @end table >> @end defmac >> >> @@ -9426,9 +9464,9 @@ 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} >> -definitions are not automatically translated into constants in the >> -source code by this macro. >> +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. >> >> @defmac AC_LANG_PROGRAM (@var{prologue}, @var{body}) >> @acindex{LANG_PROGRAM} >> @@ -9551,7 +9589,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..30d8362e >> --- /dev/null >> +++ b/lib/autoconf/a68.m4 >> @@ -0,0 +1,155 @@ >> +# This file is part of Autoconf. -*- Autoconf -*- >> +# Algol 68 language support. >> +# Copyright (C) 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(a68) >> +# ----------- >> +AC_LANG_DEFINE([A68], [a68], [A68], [A68], [], >> +[ac_ext=a68 >> +ac_compile='$A68 -c $A68FLAGS conftest.$ac_ext >&AS_MESSAGE_LOG_FD' >> +ac_link='$A68 -o conftest$ac_exeext $A68FLAGS $LDFLAGS conftest.$ac_ext >> $LIBS >&AS_MESSAGE_LOG_FD' >> +ac_compiler_gnu=yes >> +]) >> + >> +# AC_LANG_A68 >> +# ----------- >> +AU_DEFUN([AC_LANG_A68], [AC_LANG(A68)]) >> + >> +# ------------------- # >> +# Producing programs. >> +# ------------------- # >> + >> +# AC_LANG_PROGRAM(A68)([PROLOGUE], [BODY]) >> +# ---------------------------------------- >> +m4_define([AC_LANG_PROGRAM(A68)], >> +[PROGRAM >> +$1 >> +BEGIN >> +$2 >> + 0 >> +END]) >> + >> +# _AC_LANG_IO_PROGRAM(A68) >> +# ------------------------ >> +# Produce source that performs I/O. >> +m4_define([_AC_LANG_IO_PROGRAM(A68)], >> +[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(A68)(PROLOGUE, FUNCTION) >> +# ------------------------------------- >> +# Avoid conflicting decl of main. >> +m4_define([AC_LANG_CALL(A68)], >> +[AC_LANG_PROGRAM([],[])]) >> + >> +# AC_LANG_FUNC_LINK_TRY(A68)(FUNCTION) >> +# ------------------------------------ >> +# Try to link a program which calls FUNCTION. >> +m4_define([AC_LANG_FUNC_LINK_TRY(A68)], >> +[AC_LANG_PROGRAM([],[])]) >> + >> +# AC_LANG_BOOL_COMPILE_TRY(A68)(PROLOGUE, EXPRESSION) >> +# --------------------------------------------------- >> +# Return a program which is valid if EXPRESSION is nonzero. >> +m4_define([AC_LANG_BOOL_COMPILE_TRY(A68)], >> +[AC_LANG_PROGRAM([], [@<:@$2@:>@INT test multiple; >> + 0])]) >> + >> +# AC_LANG_INT_SAVE(A68)(PROLOGUE, EXPRESSION) >> +# ------------------------------------------ >> +m4_define([AC_LANG_INT_SAVE(A68)], >> +[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)/ >> +IF fd = -1 THEN ret := 1; stop FI; >> +IF fputs (fd, itoa ($2)) = 0 THEN ret := 1; stop FI; >> +stop: >> +; >> +])]) >> + >> +# ---------------------- # >> +# Looking for compilers. # >> +# ---------------------- # >> + >> +# AC_LANG_COMPILER(A68) >> +# --------------------- >> +AC_DEFUN([AC_LANG_COMPILER(A68)], >> +[AC_REQUIRE([AC_PROG_A68])]) >> + >> +# AC_PROG_A68 >> +# ----------- >> +AN_MAKEVAR([A68], [AC_PROG_A68]) >> +AN_PROGRAM([ga68], [AC_PROG_A68]) >> +AC_DEFUN([AC_PROG_A68], >> +[AC_LANG_PUSH(A68)dnl >> +AC_ARG_VAR([A68], [Algol 68 compiler command])dnl >> +AC_ARG_VAR([A68FLAGS], [Algol 68 compiler flags])dnl >> +_AC_ARG_VAR_LDFLAGS()dnl >> +m4_ifval([$1], >> + [AC_CHECK_TOOLS(A68, [$1])], >> +[AC_CHECK_TOOL(A68, ga68) >> +if test -z "$A68"; then >> + if test -n "$ac_tool_prefix"; then >> + AC_CHECK_PROG(A68, [${ac_tool_prefix}ga68], [$ac_tool_prefix}ga68]) >> + fi >> +fi >> +if test -z "$A68"; then >> + AC_CHECK_PROG(A68, 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 >> +A68FLAGS="-g -O2" >> +AC_LANG_POP(A68)dnl >> +])# AC_PROG_A68 >> 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..e65c128a 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..b99b50d2 >> --- /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([A68], >> +[[AC_LANG(A68) >> +AC_LANG_COMPILER >> +]]) >> 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])
