-
Notifications
You must be signed in to change notification settings - Fork 300
Expand file tree
/
Copy pathMakefile
More file actions
83 lines (70 loc) · 2.31 KB
/
Copy pathMakefile
File metadata and controls
83 lines (70 loc) · 2.31 KB
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
SRC = cpp_constructor.cpp \
cpp_convert_type.cpp \
cpp_declaration.cpp \
cpp_declarator.cpp \
cpp_declarator_converter.cpp \
cpp_destructor.cpp \
cpp_enum_type.cpp \
cpp_exception_id.cpp \
cpp_id.cpp \
cpp_instantiate_template.cpp \
cpp_internal_additions.cpp \
cpp_is_pod.cpp \
cpp_language.cpp \
cpp_name.cpp \
cpp_namespace_spec.cpp \
cpp_parse_tree.cpp \
cpp_parser.cpp \
cpp_scope.cpp \
cpp_scopes.cpp \
cpp_storage_spec.cpp \
cpp_token_buffer.cpp \
cpp_type2name.cpp \
cpp_typecheck.cpp \
cpp_typecheck_bases.cpp \
cpp_typecheck_code.cpp \
cpp_typecheck_compound_type.cpp \
cpp_typecheck_constructor.cpp \
cpp_typecheck_conversions.cpp \
cpp_typecheck_declaration.cpp \
cpp_typecheck_destructor.cpp \
cpp_typecheck_enum_type.cpp \
cpp_typecheck_expr.cpp \
cpp_typecheck_fargs.cpp \
cpp_typecheck_function.cpp \
cpp_typecheck_initializer.cpp \
cpp_typecheck_linkage_spec.cpp \
cpp_typecheck_method_bodies.cpp \
cpp_typecheck_namespace.cpp \
cpp_typecheck_resolve.cpp \
cpp_typecheck_static_assert.cpp \
cpp_typecheck_template.cpp \
cpp_typecheck_type.cpp \
cpp_typecheck_using.cpp \
cpp_typecheck_virtual_table.cpp \
cpp_util.cpp \
cprover_library.cpp \
expr2cpp.cpp \
parse.cpp \
template_map.cpp \
# Empty last line
INCLUDES= -I ..
include ../config.inc
include ../common
CLEANFILES = cpp$(LIBEXT) cprover_library.inc library_check
all: cpp$(LIBEXT)
###############################################################################
# extra dependencies
cprover_library$(OBJEXT): cprover_library.inc
###############################################################################
../ansi-c/library/converter$(EXEEXT): ../ansi-c/library/converter.cpp
$(MAKE) -C ../ansi-c library/converter$(EXEEXT)
library_check: library/*.c
../ansi-c/library_check.sh "$(CC)" $^
touch $@
cprover_library.inc: ../ansi-c/library/converter$(EXEEXT) library/*.c
../ansi-c/library/converter$(EXEEXT) library/*.c > $@
generated_files: cprover_library.inc
###############################################################################
cpp$(LIBEXT): $(OBJ)
$(LINKLIB)