mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

fixed configure.ac, now fails if gcc is not installed

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-10-27 00:56:27 -07:00
parent 6c4e163bfe
commit 946a06cddb
1 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
configure.ac
View file

@ -1,4 +1,6 @@
AC_INIT([z3], [4.2]) AC_INIT([z3], [4.2])
AC_CONFIG_SRCDIR(src/util/util.cpp)
AC_PREFIX_DEFAULT(/usr)
################### ###################
# #
@ -80,7 +82,12 @@ fi
# #
################### ###################
# Sets CXX # Sets CXX
AC_PROG_CXX(g++) AC_LANG([C++])
AC_PROG_CXX(g++ false)
AC_PROG_CC
if test $CXX = "false"; then
AC_MSG_ERROR([C++ compiler was not found])
fi
AC_PROG_MAKE_SET AC_PROG_MAKE_SET