# Linux hasse 4.9.0-6-armmp-lpae #1 SMP Debian 4.9.82-1+deb9u3 (2018-03-02) armv7l GNU/Linux

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

  $ /build/ecl-DoSni1/ecl-16.1.2/src/configure --srcdir=/build/ecl-DoSni1/ecl-16.1.2/src --build=arm-linux-gnueabi --prefix=/usr --includedir=${prefix}/include --mandir=${prefix}/share/man --infodir=${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --disable-silent-rules --libexecdir=${prefix}/lib/ecl --disable-maintainer-mode --disable-dependency-tracking --prefix=/usr --mandir=${prefix}/share/man --infodir=${prefix}/share/info --with-system-gmp=yes --with-tcp --with-clx --enable-threads=yes --enable-boehm=system --enable-libatomic=system --disable-rpath --with-x

