Configure fixes

Open
#9 · Created  · Last updated

Description

  • configure.ac: Fix help string of --with-gap-system-arch

  • configure.ac: New configure option --with-gap-root

  • Use configure --with-gap-root and DISTCHECK_CONFIGURE_FLAGS

0 attachments

0 comments

Loading commits...