# OpenBSD amd64.ports.openbsd.org 4.7 GENERIC.MP#93 amd64

It was created by ecl configure 8.12.0, which was
generated by GNU Autoconf 2.61.  Invocation command line was

  $ /usr/obj/ports/ecl-8.12.0/ecl-8.12.0/src/configure --srcdir=/usr/obj/ports/ecl-8.12.0/ecl-8.12.0/src --enable-boehm=system --with-system-gmp --with-gmp-prefix=/usr/local --prefix=/usr/local --sysconfdir=/etc --mandir=/usr/local/man --infodir=/usr/local/info

