# Linux riscv64-qemu-lcy01-068 5.3.0-13-generic #14+riscv64.5-Ubuntu SMP Wed Nov 13 20:10:41 UTC 2019 riscv64 riscv64 riscv64 GNU/Linux

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

  $ /build/ecl-PpvPfL/ecl-16.1.3+ds/src/configure --srcdir=/build/ecl-PpvPfL/ecl-16.1.3+ds/src --build=riscv64-linux-gnu --prefix=/usr --includedir=${prefix}/include --mandir=${prefix}/share/man --infodir=${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --disable-silent-rules --libdir=${prefix}/lib/riscv64-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

