# Linux arm-ubc-01 4.19.0-12-arm64 #1 SMP Debian 4.19.152-1 (2020-10-18) aarch64 GNU/Linux

It was created by ecl configure 20.4.24, which was
generated by GNU Autoconf 2.69.  Invocation command line was

  $ /build/ecl-GqlRIX/ecl-20.4.24+ds/src/configure --srcdir=/build/ecl-GqlRIX/ecl-20.4.24+ds/src --build=aarch64-linux-gnu --prefix=/usr --includedir=${prefix}/include --mandir=${prefix}/share/man --infodir=${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --disable-option-checking --disable-silent-rules --libdir=${prefix}/lib/aarch64-linux-gnu --runstatedir=/run --disable-maintainer-mode --disable-dependency-tracking --enable-gmp=system --with-tcp --enable-threads=yes --enable-boehm=system --enable-libatomic=system --disable-rpath --with-x

