diff options
| author | George Hartzell <hartzell@alerce.com> | 2017-10-03 13:40:14 -0700 |
|---|---|---|
| committer | Christoph Junghans <christoph.junghans@gmail.com> | 2017-10-03 14:40:14 -0600 |
| commit | 5bc81c8db272b08cdff4655313fcdbcb828754e7 (patch) | |
| tree | ff1ec6c90df6f4f6c7ab0a40f3f4ebb24d5d2e12 /etc | |
| parent | d22ee8f9930daa9b9d9362eccc9758fe2b5f36ae (diff) | |
| download | spack-5bc81c8db272b08cdff4655313fcdbcb828754e7.tar.gz spack-5bc81c8db272b08cdff4655313fcdbcb828754e7.tar.bz2 spack-5bc81c8db272b08cdff4655313fcdbcb828754e7.tar.xz spack-5bc81c8db272b08cdff4655313fcdbcb828754e7.zip | |
Tell configure about gmp (#5585)
This is a partial fix for #5564.
This package used to trust that `configure` would discover `gmp` from
its environment.
It's safer to tell it where to find `gmp` explicitly.
This does that by adding a configure_args() that provides a
`--with-gmp=...` argument for configure.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions