You've already forked code_examples_server
mirror of
https://github.com/AdaCore/code_examples_server.git
synced 2026-02-12 12:45:18 -08:00
ea3a7fc6e7
Needed to be able to run all combinations of inlined widgets: with or without SPARK, and with or without main.
7 lines
273 B
Plaintext
7 lines
273 B
Plaintext
pragma Profile(GNAT_Extended_Ravenscar);
|
|
pragma Partition_Elaboration_Policy(Sequential);
|
|
pragma SPARK_Mode (On);
|
|
pragma Warnings (Off, "no Global contract available");
|
|
pragma Warnings (Off, "subprogram * has no effect");
|
|
pragma Warnings (Off, "file name does not match");
|