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.
98 lines
4.5 KiB
Plaintext
98 lines
4.5 KiB
Plaintext
-- This project file is intended for use with reduced runtimes without
|
|
-- Ada.Numerics.Big_Numbers or Ada.Finalization units.
|
|
|
|
project SPARKlib_Light extends "sparklib_light_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_Light_Internal'Source_Dirs;
|
|
|
|
for Excluded_Source_Files use SPARKlib_Light_Internal'Excluded_Source_Files;
|
|
-- Uncomment the files you want to exclude from your project
|
|
-- & (
|
|
-- "spark-big_integers__light.ads",
|
|
-- "spark-big_intervals__light.ads",
|
|
-- "spark-big_reals__light.adb",
|
|
-- "spark-big_reals__light.ads",
|
|
-- "spark-containers__exec.ads",
|
|
-- "spark-containers-formal.ads",
|
|
-- "spark-containers-formal-doubly_linked_lists.adb",
|
|
-- "spark-containers-formal-doubly_linked_lists.ads",
|
|
-- "spark-containers-functional.ads",
|
|
-- "spark-containers-functional-base.adb",
|
|
-- "spark-containers-functional-base__light.ads",
|
|
-- "spark-containers-functional-infinite_sequences-higher_order.adb",
|
|
-- "spark-containers-functional-infinite_sequences-higher_order.ads",
|
|
-- "spark-containers-functional-infinite_sequences.adb",
|
|
-- "spark-containers-functional-infinite_sequences__light.ads",
|
|
-- "spark-containers-functional-maps-higher_order.adb",
|
|
-- "spark-containers-functional-maps-higher_order.ads",
|
|
-- "spark-containers-functional-maps.adb",
|
|
-- "spark-containers-functional-maps__light.ads",
|
|
-- "spark-containers-functional-multisets.adb",
|
|
-- "spark-containers-functional-multisets__light.ads",
|
|
-- "spark-containers-functional-sets-higher_order.adb",
|
|
-- "spark-containers-functional-sets-higher_order.ads",
|
|
-- "spark-containers-functional-sets.adb",
|
|
-- "spark-containers-functional-sets__light.ads",
|
|
-- "spark-containers-functional-vectors-higher_order.adb",
|
|
-- "spark-containers-functional-vectors-higher_order.ads",
|
|
-- "spark-containers-functional-vectors.adb",
|
|
-- "spark-containers-functional-vectors__light.ads",
|
|
-- "spark-containers-parameter_checks.adb",
|
|
-- "spark-containers-parameter_checks.ads",
|
|
-- "spark-containers-stable_sorting.adb",
|
|
-- "spark-containers-stable_sorting.ads",
|
|
-- "spark-containers-types__light.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_Light;
|