######################################################################### # # This file is part of the Yices SMT Solver. # Copyright (C) 2017 SRI International. # # Yices is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by # the Free Software Foundation, either version 3 of the License, or # (at your option) any later version. # # Yices is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License # along with Yices. If not, see . # ######################################################################### # # # Host-dependent configuration # to be included in all Makefiles # prefix = @prefix@ exec_prefix = @exec_prefix@ bindir = @bindir@ sbindir = @sbindir@ libexecdir = @libexecdir@ datarootdir = @datarootdir@ datadir = @datadir@ sysconfdir = @sysconfdir@ sharedstatedir = @sharedstatedir@ localstatedir = @localstatedir@ libdir = @libdir@ infodir = @infodir@ mandir = @mandir@ includedir = @includedir@ # # Variables set by configure # NOTE: don't include POSIXOS here # (the OS is determined by the top-level Makefile) # @SET_MAKE@ EXEEXT=@EXEEXT@ # tools SED=@SED@ LN_S=@LN_S@ MKDIR_P=@MKDIR_P@ INSTALL=@INSTALL@ EGREP=@EGREP@ # compilation CC=@CC@ CFLAGS=@CFLAGS@ CPPFLAGS=@CPPFLAGS@ LIBS=@LIBS@ LDFLAGS=@LDFLAGS@ LD=@LD@ AR=@AR@ RANLIB=@RANLIB@ GPERF=@GPERF@ STRIP=@STRIP@ NO_STACK_PROTECTOR=@NO_STACK_PROTECTOR@ WORDS_BIGENDIAN=@WORDS_BIGENDIAN@ # thread-safe build HAVE_TLS=@HAVE_TLS@ THREAD_SAFE=@THREAD_SAFE@ # GMP libraries STATIC_GMP=@STATIC_GMP@ STATIC_GMP_INCLUDE_DIR=@STATIC_GMP_INCLUDE_DIR@ PIC_GMP=@PIC_GMP@ PIC_GMP_INCLUDE_DIR=@PIC_GMP_INCLUDE_DIR@ # MCSAT support and libpoly ENABLE_MCSAT=@ENABLE_MCSAT@ STATIC_LIBPOLY=@STATIC_LIBPOLY@ STATIC_LIBPOLY_INCLUDE_DIR=@STATIC_LIBPOLY_INCLUDE_DIR@ PIC_LIBPOLY=@PIC_LIBPOLY@ PIC_LIBPOLY_INCLUDE_DIR=@PIC_LIBPOLY_INCLUDE_DIR@