yices2 icon indicating copy to clipboard operation
yices2 copied to clipboard

Published 20 hours ago • verified publisher icon SRI-CSL

fix for autoconf 2.71

Open ahmed-irfan opened this issue 2 years ago • 0 comments

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.

https://www.gnu.org/software/autoconf/manual/autoconf-2.70/html_node/Obsolete-Macros.html

ahmed-irfan avatar Sep 20 '22 17:09 ahmed-irfan