/usr/share/frama-c/Makefile.config

##########################################################################
#                                                                        #
#  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 	?= /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg

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

CYGPATH         ?=

DESTDIR 	?=
prefix		?=/usr
exec_prefix	?=${prefix}
datarootdir     ?=${prefix}/share
datadir         ?=${datarootdir}
BINDIR		?="$(DESTDIR)${exec_prefix}/bin"
LIBDIR		?="$(DESTDIR)${exec_prefix}/lib"
DATADIR		?="$(DESTDIR)${prefix}/share"
MANDIR		?="$(DESTDIR)${prefix}/share/man"

FRAMAC_LIBDIR	?=$(LIBDIR)/frama-c
FRAMAC_PLUGINDIR ?=$(FRAMAC_LIBDIR)/plugins
FRAMAC_DATADIR 	?=$(DATADIR)/frama-c
EMACS_DATADIR	?=$(DATADIR)/emacs/site-lisp
FRAMAC_DEFAULT_CPP ?=gcc -E -C -I.
FRAMAC_GNU_CPP ?=true
DEFAULT_CPP_KEEP_COMMENTS?=true
FC_MCPP ?=no
CC =gcc

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

# compilers and others executables
OCAMLC  	?=ocamlc.opt
OCAMLOPT	?=ocamlopt.opt
OCAMLDEP	?=ocamldep.opt -slash
OCAMLLEX	?=ocamllex.opt
OCAMLYACC	?=ocamlyacc
OCAMLMKTOP	?=ocamlmktop
OCAMLDOC	?=ocamldoc.opt
OCAMLCP		?=ocamlcp

# others ocaml stuffs

# either -annot or -dtypes
OCAML_ANNOT_OPTION ?=-bin-annot
# ocaml stdlib path
OCAMLLIB	?=/usr/lib/ocaml
# either opt or byte
OCAMLBEST	?=opt
OCAMLVERSION 	?=4.02.3
NATIVE_DYNLINK  ?=yes
USABLE_NATIVE_DYNLINK ?=yes
NATIVE_THREADS	?=yes
OCAMLWIN32	?=no
PTESTSBEST      ?=opt

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

# ocamlgraph
OCAMLGRAPH_INCLUDE?=-I /usr/lib/ocaml/ocamlgraph # ocamlgraph compilation directive
OCAMLGRAPH_LOCAL  ?=
OCAMLGRAPH_HOME   ?=/usr/lib/ocaml/ocamlgraph

# lablgtk
HAS_LABLGTK	?=yes
HAS_LABLGTK_CUSTOM_MODEL ?=yes
LABLGTK_PATH ?=+lablgtk2

# lablgtksourceview
HAS_GTKSOURCEVIEW ?=yes

# lablgnomecanvas
HAS_GNOMECANVAS	?=yes

# zarith
HAS_ZARITH	?=yes
ZARITH_PATH	?=/usr/lib/ocaml/zarith

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

OTAGS		?=
DOT		?=dot
HAS_DOT		?=yes

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

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

VERBOSEMAKE	?=yes
LOCAL_MACHDEP	?=no
EXE		?=

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

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

EXTERNAL_PLUGINS ?= src/plugins/aorai src/plugins/obfuscator src/plugins/report src/plugins/security_slicing src/plugins/wp 

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

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

##########################################################################
# Local Variables:
# mode: makefile
# End:
frama-c-base 20151002+magnesium+dfsg-1build1 / usr / share / frama-c / Makefile.config
