##########################################################################
#                                                                        #
#  This file is part of Frama-C.                                         #
#                                                                        #
#  Copyright (C) 2007-2015                                               #
#    CEA (Commissariat à l'énergie atomique et aux énergies              #
#         alternatives)                                                  #
#                                                                        #
#  you can redistribute it and/or modify it under the terms of the GNU   #
#  Lesser General Public License as published by the Free Software       #
#  Foundation, version 2.1.                                              #
#                                                                        #
#  It 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 Lesser General Public License for more details.                   #
#                                                                        #
#  See the GNU Lesser General Public License version 2.1                 #
#  for more details (enclosed in the file licenses/LGPLv2.1).            #
#                                                                        #
##########################################################################

##########################################################################
#                                                                        #
# Define variables from configure.                                       #
# These variables may be redefined later.                                #
#                                                                        #
##########################################################################

#######################
# Working directories #
#######################

FRAMAC_TOP_SRCDIR 	?= @abs_top_srcdir@

######################
# Installation paths #
######################

CYGPATH         ?=@CYGPATH@

DESTDIR 	?=
prefix		?=@prefix@
exec_prefix	?=@exec_prefix@
datarootdir     ?=@datarootdir@
datadir         ?=@datadir@
BINDIR		?="$(DESTDIR)@bindir@"
LIBDIR		?="$(DESTDIR)@libdir@"
DATADIR		?="$(DESTDIR)@datarootdir@"
MANDIR		?="$(DESTDIR)@mandir@"

FRAMAC_LIBDIR	?=$(LIBDIR)/frama-c
FRAMAC_PLUGINDIR ?=$(FRAMAC_LIBDIR)/plugins
FRAMAC_DATADIR 	?=$(DATADIR)/frama-c
EMACS_DATADIR	?=$(DATADIR)/emacs/site-lisp
FRAMAC_DEFAULT_CPP ?=@FRAMAC_DEFAULT_CPP@
FRAMAC_GNU_CPP ?=@FRAMAC_GNU_CPP@
DEFAULT_CPP_KEEP_COMMENTS?=@DEFAULT_CPP_KEEP_COMMENTS@
FC_MCPP ?=@FC_MCPP@
CC =@CC@

###############
# Ocaml stuff #
###############

# compilers and others executables
OCAMLC  	?=@OCAMLC@
OCAMLOPT	?=@OCAMLOPT@
OCAMLDEP	?=@OCAMLDEP@ -slash
OCAMLLEX	?=@OCAMLLEX@
OCAMLYACC	?=@OCAMLYACC@
OCAMLMKTOP	?=@OCAMLMKTOP@
OCAMLDOC	?=@OCAMLDOC@
OCAMLCP		?=@OCAMLCP@

# others ocaml stuffs

# either -annot or -dtypes
OCAML_ANNOT_OPTION ?=@OCAML_ANNOT_OPTION@
# ocaml stdlib path
OCAMLLIB	?=@OCAMLLIB@
# either opt or byte
OCAMLBEST	?=@OCAMLBEST@
OCAMLVERSION 	?=@OCAMLVERSION@
NATIVE_DYNLINK  ?=@HAS_NATIVE_DYNLINK@
USABLE_NATIVE_DYNLINK ?=@HAS_USABLE_NATIVE_DYNLINK@
NATIVE_THREADS	?=@HAS_NATIVE_THREADS@
OCAMLWIN32	?=@OCAMLWIN32@
PTESTSBEST      ?=@PTESTSBEST@

#############
# Libraries #
#############

# ocamlgraph
OCAMLGRAPH_INCLUDE?=@OCAMLGRAPH_INCLUDE@ # ocamlgraph compilation directive
OCAMLGRAPH_LOCAL  ?=@OCAMLGRAPH_LOCAL@
OCAMLGRAPH_HOME   ?=@OCAMLGRAPH_HOME@

# lablgtk
HAS_LABLGTK	?=@HAS_LABLGTK@
HAS_LABLGTK_CUSTOM_MODEL ?=@HAS_LABLGTK@
LABLGTK_PATH ?=@LABLGTK_PATH@

# lablgtksourceview
HAS_GTKSOURCEVIEW ?=@HAS_GTKSOURCEVIEW@

# lablgnomecanvas
HAS_GNOMECANVAS	?=@HAS_GNOMECANVAS@

# zarith
HAS_ZARITH	?=@HAS_ZARITH@
ZARITH_PATH	?=@ZARITH_PATH@

##########################
# Miscellaneous commands #
##########################

OTAGS		?=@OTAGS@
DOT		?=@DOT@
HAS_DOT		?=@HAS_DOT@

HEADACHE 	?= headache -c $(FRAMAC_SRC)/headers/headache_config.txt

###########################
# Miscellaneous variables #
###########################

VERBOSEMAKE	?=@VERBOSEMAKE@
LOCAL_MACHDEP	?=@LOCAL_MACHDEP@
EXE		?=@EXE@

# Required by Cil
UNDERSCORE_NAME ?=@UNDERSCORE_NAME@
HAVE_BUILTIN_VA_LIST ?=@HAVE_BUILTIN_VA_LIST@
THREAD_IS_KEYWORD ?=@THREAD_IS_KEYWORD@

##########################
# Variables for plug-ins #
##########################

EXTERNAL_PLUGINS ?=@EXTERNAL_PLUGINS@

# Integrated plugins
ENABLE_CALLGRAPH                  ?=@ENABLE_CALLGRAPH@
ENABLE_CONSTANT_PROPAGATION       ?=@ENABLE_SEMANTIC_CONSTANT_FOLDING@
ENABLE_FROM_ANALYSIS              ?=@ENABLE_FROM_ANALYSIS@
ENABLE_GUI	                  ?=@ENABLE_GUI@
ENABLE_IMPACT	                  ?=@ENABLE_IMPACT@
ENABLE_INOUT	                  ?=@ENABLE_INOUT@
ENABLE_METRICS	                  ?=@ENABLE_METRICS@
ENABLE_OCCURRENCE                 ?=@ENABLE_OCCURRENCE@
ENABLE_PDG	                  ?=@ENABLE_PDG@
ENABLE_POSTDOMINATORS             ?=@ENABLE_POSTDOMINATORS@
ENABLE_RTEGEN                     ?=@ENABLE_RTEGEN@
ENABLE_SCOPE	                  ?=@ENABLE_SCOPE@
ENABLE_SLICING	                  ?=@ENABLE_SLICING@
ENABLE_SPARECODE                  ?=@ENABLE_SPARECODE@
ENABLE_USERS	                  ?=@ENABLE_USERS@
ENABLE_VALUE_ANALYSIS             ?=@ENABLE_VALUE_ANALYSIS@

DYNAMIC_CALLGRAPH                 ?=@DYNAMIC_CALLGRAPH@
DYNAMIC_CONSTANT_PROPAGATION      ?=@DYNAMIC_SEMANTIC_CONSTANT_FOLDING@
DYNAMIC_FROM_ANALYSIS             ?=@DYNAMIC_FROM_ANALYSIS@
#DYNAMIC_GUI: never dynamic
DYNAMIC_IMPACT	                  ?=@DYNAMIC_IMPACT@
DYNAMIC_INOUT                     ?=@DYNAMIC_INOUT@
DYNAMIC_METRICS                   ?=@DYNAMIC_METRICS@
DYNAMIC_OCCURRENCE                ?=@DYNAMIC_OCCURRENCE@
DYNAMIC_PDG                       ?=@DYNAMIC_PDG@
#DYNAMIC_POSTDOMINATORS: never dynamic
#DYNAMIC_RTEGEN: never dynamic
DYNAMIC_SCOPE                     ?=@DYNAMIC_SCOPE@
DYNAMIC_SLICING                   ?=@DYNAMIC_SLICING@
DYNAMIC_SPARECODE                 ?=@DYNAMIC_SPARECODE@
DYNAMIC_USERS                     ?=@DYNAMIC_USERS@
DYNAMIC_VALUE_ANALYSIS            ?=@DYNAMIC_VALUE_ANALYSIS@

##########################################################################
# Local Variables:
# mode: makefile
# End:
