Make fails

[bracke]

Hi

When running make it fails:

process.ads:145:05: error: unit "Process" requires pragma "Elaborate_All" for "LinkedList"
process.ads:145:05: error: spec of unit "Process" elaborated
process.ads:145:05: error: package "LinkedList" instantiated as "FrameList" at line 145
process.ads:145:05: error: instantiation error at linkedlist.ads:21
process.ads:145:05: error: initialization actions for type "Slab" during elaboration in SPARK
process.ads:145:05: error: unit "Process" requires pragma "Elaborate_All" for "SlabAllocator"
process.ads:145:05: error: spec of unit "Process" elaborated
process.ads:145:05: error: initialization actions for type "Slab" at linkedlist.ads:21, instance at line 145
gprbuild: *** compilation phase failed
make: *** [Makefile:35: cubit_kernel] Error 4

If I switch SPARK_MODE off for LinkedList, then it works.

This is with GNAT CE 2021 (gcc 10.3.1) on Ubuntu.

Kind regards
Bent Bracke

[docandrew]

I'll take a look - thanks!