Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
Frama Clang
Commits
19d26518
Commit
19d26518
authored
Jul 13, 2021
by
Virgile Prevosto
Browse files
distribute cxx_builtin + avoid duplicating list of distrib files
parent
71978940
Changes
7
Hide whitespace changes
Inline
Side-by-side
.headache_config.txt
View file @
19d26518
...
...
@@ -35,3 +35,9 @@
#######
| "[^.]*" -> frame open: "/*" line:"*" close: "*/"
########
# Misc #
########
| ".*\.dox" -> frame open: "/*" line: "*" close: "*/"
Doxyfile
View file @
19d26518
/**************************************************************************/
/* */
/* This file is part of Frama-Clang */
/* */
/* Copyright (C) 2012-2021 */
/* 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 LICENSE). */
/* */
/**************************************************************************/
# Doxyfile 1.8.3.1
# This file describes the settings to be used by the documentation system
...
...
Makefile
View file @
19d26518
...
...
@@ -52,11 +52,7 @@ else
PLUGIN_NO_TESTS
:=
yes
endif
PLUGIN_DISTRIBUTED
:=
no
PLUGIN_DISTRIB_EXTERNAL
:=
configure.ac configure Makefile Makefile.clang
\
Makefile.common Makefile.config.in gen_ast.ml
*
.cpp
*
.h
\
intermediate_format.ast DescentParse.template frama_Clang_config.ml.in
\
Doxyfile mainpage.dox README.md
\
$(
addprefix
share/libc++/,
$(CXX_HEADERS)
)
include
$(FRAMAC_SHARE)/Makefile.dynamic
$(Frama_Clang_DIR)/tests/ptests_config
:
$(Frama_Clang_DIR)/Makefile.config
...
...
Makefile.common
View file @
19d26518
...
...
@@ -31,10 +31,10 @@ endif
#Installed header files
CXX_HEADERS
=
algorithm array atomic bitset cassert cerrno climits
\
clocale cstdarg cstddef cstdio cstdint cstdlib cstring ctime
cwchar
\
exception functional initializer_list ios iosfwd iostream
istream
\
iterator locale memory new ostream stdexcepts streambuf
string
\
system_error type_traits typeinfo utility cxxabi.h
\
clocale cstdarg
cstdbool
cstddef cstdio cstdint cstdlib cstring ctime
\
cwchar
exception functional initializer_list ios iosfwd iostream
\
istream
iterator locale memory new ostream stdexcepts streambuf
\
string
system_error type_traits typeinfo utility cxxabi.h
\
__fc_define_char_traits_char __fc_define_fpos
\
__fc_define_ios_base_seekdir __fc_define_mbstate_t
\
__fc_define_streamoff __fc_define_streamsize __fc_define_streampos
...
...
@@ -46,10 +46,11 @@ FCLANG_MLFILES=\
# Existing C++ source files
FCLANG_CXXFILES
=
\
ACSLCodeAnnotation ACSLComment ACSLComponent ACSLFunctionContract
\
ACSLGlobalAnnotation ACSLLexer ACSLLogicType ACSLLoopAnnotation
\
ACSLParser ACSLStatementAnnotation ACSLTermOrPredicate ACSLToken
\
Clang_utils ClangVisitor DescentParse RTTITable VisitTable
ACSLCodeAnnotation ACSLComment ACSLComponent
\
ACSLFunctionContract ACSLGlobalAnnotation ACSLLexer ACSLLogicType
\
ACSLLoopAnnotation ACSLParser ACSLStatementAnnotation
\
ACSLTermOrPredicate ACSLToken AnnotationComment Clang_utils
\
ClangVisitor DescentParse FramaCIRGen RTTITable VisitTable
\
ifndef
FRAMAC_SHARE
FRAMAC_SHARE
:=
$(
shell
frama-c
-print-path
)
...
...
@@ -62,13 +63,15 @@ $(PLUGIN_DIR)/.clang_complete: $(PLUGIN_DIR)/Makefile.config
rm
-f
$@
$(
foreach
opt,
$(CLANG_CXXFLAGS)
,echo
$(opt)
>>
$@
;
)
PLUGIN_DISTRIB_EXTERNAL
:=
configure.ac configure Makefile Makefile.clang
\
Makefile.common Makefile.config.in gen_ast.ml
\
$(
wildcard
$(FCLANG_CXXFILES:%=%.cpp)
)
$(
wildcard
$(FCLANG_CXXFILES:%=%.h)
)
\
intermediate_format.ast DescentParse.template
\
Doxyfile mainpage.dox README.md
\
$(
addprefix
share/libc++/,
$(CXX_HEADERS)
)
\
share/libc++/cxx_builtin.cc
\
FCLANG_DISTRIBUTED_FILES
=
\
$(
addprefix
$(Frama_Clang_DIR)
/,
\
$(FCLANG_MLFILES:%=%.ml)
$(FCLANG_MLFILES:%=%.mli)
Frama_Clang.mli
\
$(FCLANG_CXXFILES:%=%.cpp)
$(FCLANG_CXXFILES:%=%.h)
\
AnnotationComment.h FramaCIRGen.cpp DescentParse.template
\
gen_ast.ml intermediate_format.ast
\
configure.ac configure
\
Makefile Makefile.common Makefile.clang Makefile.config.in
\
README.md
\
$(
addprefix
share/libc++/,
$(CXX_HEADERS)
))
$(PLUGIN_DISTRIB_EXTERNAL)
)
mainpage.dox
View file @
19d26518
/**************************************************************************/
/* */
/* This file is part of Frama-Clang */
/* */
/* Copyright (C) 2012-2021 */
/* 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 LICENSE). */
/* */
/**************************************************************************/
/**
\mainpage The Frama-Clang documentation
...
...
share/libc++/cstdbool
View file @
19d26518
/**************************************************************************/
/* */
/* This file is part of Frama-Clang */
/* */
/* Copyright (C) 2012-2021 */
/* 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 LICENSE). */
/* */
/**************************************************************************/
// -*- C++ -*-
#include <stdbool.h>
#ifdef bool
...
...
share/libc++/cxx_builtin.cc
View file @
19d26518
/**************************************************************************/
/* */
/* This file is part of Frama-C
.
*/
/* This file is part of Frama-C
lang
*/
/* */
/* Copyright (C) 20
07
-20
1
2 */
/* CEA (Commissariat
à
l'
é
nergie atomique et aux
é
nergies */
/* Copyright (C) 20
12
-202
1
*/
/* CEA (Commissariat
à
l'é
ne
rgie atomique et aux én
er
gies */
/* alternatives) */
/* */
/* All rights reserved. */
/* Contact CEA LIST for licensing. */
/* 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 LICENSE). */
/* */
/**************************************************************************/
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment