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!