diff options
| author | nathan <nathan@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-12-17 13:56:45 +0000 |
|---|---|---|
| committer | nathan <nathan@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-12-17 13:56:45 +0000 |
| commit | 07ae82722fe83043bb055a979f0831abcd01a006 (patch) | |
| tree | 3633ef770f8e8374bf46b630a77202371fec74e1 /gcc/ada/gcc-interface/misc.c | |
| parent | 4eb18c4c4b447ac0adbd294152158a51e66d1699 (diff) | |
* config/isl.m4 (ISL_CHECK_VERSION): Add gmp libs.
* configure: Regenerate.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@231759 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/gcc-interface/misc.c')
0 files changed, 0 insertions, 0 deletions