diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-11-03 00:31:47 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-11-03 00:31:47 +0000 |
commit | a101d3298691265ee4cf72bed1ca59cd60318839 (patch) | |
tree | f445dfe10bc6d3cf983609afc1217e3d1be2ddeb /configure.ac | |
parent | 6b9eec8b8b03e6c67c73aa931001949f06fea5fb (diff) |
commit of project structure including autotools support
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac new file mode 100644 index 000000000..d55e72eed --- /dev/null +++ b/configure.ac @@ -0,0 +1,35 @@ +# -*- Autoconf -*- +# Process this file with autoconf to produce a configure script. + +AC_PREREQ([2.63]) +AC_INIT([src/include/vc.h]) +AM_INIT_AUTOMAKE(cvc4, prerelease) +AC_CONFIG_MACRO_DIR([m4]) +AC_CONFIG_HEADERS([config.h]) + +# Checks for programs. +AC_PROG_CC +AC_PROG_CXX +AC_PROG_INSTALL +AC_PROG_LIBTOOL + +# Checks for libraries. +AC_CHECK_LIB(gmp, __gmpz_init, , [AC_MSG_ERROR([GNU MP not found, see http://gmplib.org/])]) + +# Checks for header files. + +# Checks for typedefs, structures, and compiler characteristics. +AC_HEADER_STDBOOL +AC_TYPE_UINT16_T +AC_TYPE_UINT32_T +AC_TYPE_UINT64_T + +# Checks for library functions. + +AC_CONFIG_FILES([ + Makefile + doc/Makefile + src/Makefile + src/include/Makefile +]) +AC_OUTPUT |