frama-c-base 20111001+nitrogen+dfsg-3 / usr / share / frama-c / Makefile.config

This file is indexed.

/usr/share/frama-c/Makefile.config is in frama-c-base 20111001+nitrogen+dfsg-3.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below. 

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
##########################################################################
#                                                                        #
#  This file is part of Frama-C.                                         #
#                                                                        #
#  Copyright (C) 2007-2011                                               #
#    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/buildd/frama-c-20111001+nitrogen+dfsg

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

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

###############
# 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
OCAMLCP		?=ocamlcp

# others ocaml stuffs

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

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

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

# lablgtk
HAS_LABLGTK	?=yes
HAS_LABLGTK_CUSTOM_MODEL ?=yes

# lablgtksourceview
HAS_GTKSOURCEVIEW ?=yes
HAS_LEGACY_GTKSOURCEVIEW ?=

# lablgnomecanvas
HAS_GNOMECANVAS	?=yes

# lablglade
HAS_LABLGLADECC	?=@HAS_LABLGLADECC@
LABLGLADECC	?=@LABLGLADECC@ -hide-default

##########################
# 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/aorai src/report src/security_slicing src/wp 

# Integrated plugins
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_REPORT                     ?=yes
ENABLE_RTE_ANNOTATION             ?=yes
ENABLE_SCOPE	                  ?=yes
ENABLE_SEMANTIC_CALLGRAPH         ?=yes
ENABLE_SEMANTIC_CONSTANT_FOLDING  ?=yes
ENABLE_SLICING	                  ?=yes
ENABLE_SPARECODE                  ?=yes
ENABLE_SYNTACTIC_CALLGRAPH        ?=yes
ENABLE_USERS	                  ?=yes
ENABLE_VALUE_ANALYSIS             ?=yes

APT Browse - Built by Thomas Orozco.