#########################################################################
#
#  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 = /usr/local
exec_prefix = ${prefix}
bindir = ${exec_prefix}/bin
sbindir = ${exec_prefix}/sbin
libexecdir = ${exec_prefix}/libexec
datarootdir = ${prefix}/share
datadir = ${datarootdir}
sysconfdir = ${prefix}/etc
sharedstatedir = ${prefix}/com
localstatedir = ${prefix}/var
libdir = ${exec_prefix}/lib
infodir = ${datarootdir}/info
mandir = ${datarootdir}/man
includedir = ${prefix}/include

#
# Variables set by configure
# NOTE: don't include POSIXOS here
# (the OS is determined by the top-level Makefile)
#

EXEEXT=

# tools
SED=/usr/bin/sed
LN_S=ln -s
MKDIR_P=/usr/bin/mkdir -p
INSTALL=/usr/bin/install -c
EGREP=/usr/bin/grep -E

# compilation
CC=gcc
CFLAGS=
CPPFLAGS=
LIBS=-lgmp -lm 
LDFLAGS=
LD=ld
AR=ar
RANLIB=ranlib
GPERF=gperf
STRIP=strip
NO_STACK_PROTECTOR=-fno-stack-protector
WORDS_BIGENDIAN=no

# thread-safe build
HAVE_TLS=
THREAD_SAFE=

# GMP libraries
STATIC_GMP=/lib/x86_64-linux-gnu/libgmp.a
STATIC_GMP_INCLUDE_DIR=

PIC_GMP=/lib/x86_64-linux-gnu/libgmp.a
PIC_GMP_INCLUDE_DIR=

# MCSAT support and libpoly
ENABLE_MCSAT=no

STATIC_LIBPOLY=
STATIC_LIBPOLY_INCLUDE_DIR=

PIC_LIBPOLY=
PIC_LIBPOLY_INCLUDE_DIR=