make.include.in

#########################################################################
#
#  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 <http://www.gnu.org/licenses/>.
#
#########################################################################                

#
#
# 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@