-
Notifications
You must be signed in to change notification settings - Fork 0
/
sparklib.gpr.templ
117 lines (112 loc) · 5.61 KB
/
sparklib.gpr.templ
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
project SPARKlib extends "sparklib_internal" is
-- This project is not supposed to be used directly. Instead, copy it in
-- your code and provide appropriate values for the object directory
-- Object_Dir (so that compilation and artifacts are generated in
-- directories under your control) and the list of excluded source files
-- Excluded_Source_Files (so that you only compile and analyse files from
-- the library that you need).
for Object_Dir use <COMPLETE HERE WITH THE PATH TO THE OBJECT DIR>;
for Source_Dirs use SPARKlib_Internal'Source_Dirs;
for Excluded_Source_Files use SPARKlib_Internal'Excluded_Source_Files;
-- Uncomment the files you want to exclude from your project
-- & (
-- "spark-big_integers.ads",
-- "spark-big_intervals.ads",
-- "spark-big_reals.ads",
-- "spark-containers.ads",
-- "spark-containers-formal.ads",
-- "spark-containers-formal-doubly_linked_lists.adb",
-- "spark-containers-formal-doubly_linked_lists.ads",
-- "spark-containers-formal-hashed_maps.adb",
-- "spark-containers-formal-hashed_maps.ads",
-- "spark-containers-formal-hashed_sets.adb",
-- "spark-containers-formal-hashed_sets.ads",
-- "spark-containers-formal-holders.adb",
-- "spark-containers-formal-holders.ads",
-- "spark-containers-formal-ordered_maps.adb",
-- "spark-containers-formal-ordered_maps.ads",
-- "spark-containers-formal-ordered_sets.adb",
-- "spark-containers-formal-ordered_sets.ads",
-- "spark-containers-formal-unbounded_doubly_linked_lists.adb",
-- "spark-containers-formal-unbounded_doubly_linked_lists.ads",
-- "spark-containers-formal-unbounded_hashed_maps.adb",
-- "spark-containers-formal-unbounded_hashed_maps.ads",
-- "spark-containers-formal-unbounded_hashed_sets.adb",
-- "spark-containers-formal-unbounded_hashed_sets.ads",
-- "spark-containers-formal-unbounded_ordered_maps.adb",
-- "spark-containers-formal-unbounded_ordered_maps.ads",
-- "spark-containers-formal-unbounded_ordered_sets.adb",
-- "spark-containers-formal-unbounded_ordered_sets.ads",
-- "spark-containers-formal-unbounded_vectors.adb",
-- "spark-containers-formal-unbounded_vectors.ads",
-- "spark-containers-formal-vectors.adb",
-- "spark-containers-formal-vectors.ads",
-- "spark-containers-functional.ads",
-- "spark-containers-functional-base.adb",
-- "spark-containers-functional-base.ads",
-- "spark-containers-functional-infinite_sequences.adb",
-- "spark-containers-functional-infinite_sequences.ads",
-- "spark-containers-functional-infinite_sequences-higher_order.adb",
-- "spark-containers-functional-infinite_sequences-higher_order.ads",
-- "spark-containers-functional-maps.adb",
-- "spark-containers-functional-maps.ads",
-- "spark-containers-functional-maps-higher_order.adb",
-- "spark-containers-functional-maps-higher_order.ads",
-- "spark-containers-functional-multisets.adb",
-- "spark-containers-functional-multisets.ads",
-- "spark-containers-functional-sets.adb",
-- "spark-containers-functional-sets.ads",
-- "spark-containers-functional-sets-higher_order.adb",
-- "spark-containers-functional-sets-higher_order.ads",
-- "spark-containers-functional-vectors.adb",
-- "spark-containers-functional-vectors.ads",
-- "spark-containers-functional-vectors-higher_order.adb",
-- "spark-containers-functional-vectors-higher_order.ads",
-- "spark-containers-parameter_checks.adb",
-- "spark-containers-parameter_checks.ads",
-- "spark-containers-stable_sorting.adb",
-- "spark-containers-stable_sorting.ads",
-- "spark-containers-types.ads",
-- "spark-conversions.ads",
-- "spark-conversions-float_conversions.ads",
-- "spark-conversions-long_float_conversions.ads",
-- "spark-conversions-long_integer_conversions.ads",
-- "spark-cut_operations.adb",
-- "spark-cut_operations.ads",
-- "spark-higher_order.adb",
-- "spark-higher_order.ads",
-- "spark-higher_order-fold.adb",
-- "spark-higher_order-fold.ads",
-- "spark-lemmas.ads",
-- "spark-lemmas-arithmetic.adb",
-- "spark-lemmas-arithmetic.ads",
-- "spark-lemmas-constrained_array.adb",
-- "spark-lemmas-constrained_array.ads",
-- "spark-lemmas-fixed_point_arithmetic.adb",
-- "spark-lemmas-fixed_point_arithmetic.ads",
-- "spark-lemmas-float_arithmetic.ads",
-- "spark-lemmas-float_base.ads",
-- "spark-lemmas-floating_point_arithmetic.adb",
-- "spark-lemmas-floating_point_arithmetic.ads",
-- "spark-lemmas-integer_arithmetic.ads",
-- "spark-lemmas-long_float_arithmetic.ads",
-- "spark-lemmas-long_integer_arithmetic.ads",
-- "spark-lemmas-mod32_arithmetic.ads",
-- "spark-lemmas-mod64_arithmetic.ads",
-- "spark-lemmas-mod_arithmetic.adb",
-- "spark-lemmas-mod_arithmetic.ads",
-- "spark-lemmas-unconstrained_array.adb",
-- "spark-lemmas-unconstrained_array.ads",
-- "spark-pointers-abstract_maps.ads",
-- "spark-pointers-abstract_sets.adb",
-- "spark-pointers-abstract_sets.ads",
-- "spark-pointers.ads",
-- "spark-pointers-pointers_with_aliasing.adb",
-- "spark-pointers-pointers_with_aliasing.ads",
-- "spark-pointers-pointers_with_aliasing_separate_memory.adb",
-- "spark-pointers-pointers_with_aliasing_separate_memory.ads",
-- "spark-tests.ads",
-- "spark-tests-array_lemmas.adb",
-- "spark-tests-array_lemmas.ads"
-- );
end SPARKlib;