mirror of
https://github.com/AdaCore/SPARKlib.git
synced 2026-02-12 13:11:36 -08:00
42578b97a6
The previous project files had ambiguous names and some .gpr were not working out of the box. This patch changes the names and replaces the non-functional .gpr files by templates.
118 lines
5.6 KiB
Plaintext
118 lines
5.6 KiB
Plaintext
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;
|