1######################################################################### 2# 3# This file is part of the Yices SMT Solver. 4# Copyright (C) 2017 SRI International. 5# 6# Yices is free software: you can redistribute it and/or modify 7# it under the terms of the GNU General Public License as published by 8# the Free Software Foundation, either version 3 of the License, or 9# (at your option) any later version. 10# 11# Yices is distributed in the hope that it will be useful, 12# but WITHOUT ANY WARRANTY; without even the implied warranty of 13# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14# GNU General Public License for more details. 15# 16# You should have received a copy of the GNU General Public License 17# along with Yices. If not, see <http://www.gnu.org/licenses/>. 18# 19######################################################################### 20 21# 22# 23# Host-dependent configuration 24# to be included in all Makefiles 25# 26 27prefix = @prefix@ 28exec_prefix = @exec_prefix@ 29bindir = @bindir@ 30sbindir = @sbindir@ 31libexecdir = @libexecdir@ 32datarootdir = @datarootdir@ 33datadir = @datadir@ 34sysconfdir = @sysconfdir@ 35sharedstatedir = @sharedstatedir@ 36localstatedir = @localstatedir@ 37libdir = @libdir@ 38infodir = @infodir@ 39mandir = @mandir@ 40includedir = @includedir@ 41 42# 43# Variables set by configure 44# NOTE: don't include POSIXOS here 45# (the OS is determined by the top-level Makefile) 46# 47@SET_MAKE@ 48EXEEXT=@EXEEXT@ 49 50# tools 51SED=@SED@ 52LN_S=@LN_S@ 53MKDIR_P=@MKDIR_P@ 54INSTALL=@INSTALL@ 55EGREP=@EGREP@ 56 57# compilation 58CC=@CC@ 59CFLAGS=@CFLAGS@ 60CPPFLAGS=@CPPFLAGS@ 61LIBS=@LIBS@ 62LDFLAGS=@LDFLAGS@ 63LD=@LD@ 64AR=@AR@ 65RANLIB=@RANLIB@ 66GPERF=@GPERF@ 67STRIP=@STRIP@ 68NO_STACK_PROTECTOR=@NO_STACK_PROTECTOR@ 69WORDS_BIGENDIAN=@WORDS_BIGENDIAN@ 70 71# thread-safe build 72HAVE_TLS=@HAVE_TLS@ 73THREAD_SAFE=@THREAD_SAFE@ 74 75# GMP libraries 76STATIC_GMP=@STATIC_GMP@ 77STATIC_GMP_INCLUDE_DIR=@STATIC_GMP_INCLUDE_DIR@ 78 79PIC_GMP=@PIC_GMP@ 80PIC_GMP_INCLUDE_DIR=@PIC_GMP_INCLUDE_DIR@ 81 82# MCSAT support and libpoly 83ENABLE_MCSAT=@ENABLE_MCSAT@ 84 85STATIC_LIBPOLY=@STATIC_LIBPOLY@ 86STATIC_LIBPOLY_INCLUDE_DIR=@STATIC_LIBPOLY_INCLUDE_DIR@ 87 88PIC_LIBPOLY=@PIC_LIBPOLY@ 89PIC_LIBPOLY_INCLUDE_DIR=@PIC_LIBPOLY_INCLUDE_DIR@ 90 91 92 93