fix for autoconf 2.71 - Githubissues

SRI-CSL / yices2

The Yices SMT Solver

https://yices.csl.sri.com/

GNU General Public License v3.0

368 stars 46 forks source link

Closed ahmed-irfan closed 1 year ago

ahmed-irfan commented 1 year ago

AC_PROG_CC_C99 is obselete in the newer version of autoconf (2.70 and newer). This PR fixes replaces AC_PROG_CC_C99 by AC_PROG_CC.

ianamason commented 1 year ago

No one has merged this yet?

ahmed-irfan commented 1 year ago

No one has merged this yet?

No. Can you review this and merge if all is good?

Thanks