Skip to content

fix to use pkg-config to find the gmp library

Perry E. Metzger requested to merge (removed):fix-pkg-config into master

Fixes: #1 (closed)

  • discover.ml changed to use Dune Configurator library
  • associated dune files changed to match

Merge request reports