diff --git a/src/taste-aadl_parser.adb b/src/taste-aadl_parser.adb index c1fec87dd321ebc71eaf523c150e7437531b4e28..2cf88f20eea4c9b514f8faaa9db3edb0fbcdcf8e 100644 --- a/src/taste-aadl_parser.adb +++ b/src/taste-aadl_parser.adb @@ -1134,11 +1134,12 @@ package body TASTE.AADL_Parser is and then (Unit_Str /= "kbyte" and Unit_Str /= "bytes")) or else (Prop_Name = "Dispatch_Offset" and then Unit_Str /= "ms") then - Put_Error ("Unsupported unit '" - & To_String (Unit_Str) - & "' used in ConcurrencyView_Properties.aadl. " - & " Stack_Size shall be in " - & "'bytes' or 'kbyte' and Dispatch_Offset in 'ms'"); + raise AADL_Parser_Error + with "Unsupported unit '" + & To_String (Unit_Str) + & "' used in ConcurrencyView_Properties.aadl. " + & " Stack_Size shall be in " + & "'bytes' or 'kbyte' and Dispatch_Offset in 'ms'"; return; end if; diff --git a/test/TrafficLight_stm32f407/Makefile b/test/TrafficLight_stm32f407/Makefile index 3a66634ac24337bf0d2c74b5b92bdc178528f5d4..8b4160b14080ca02a7d4bd68ea6847283b30979d 100644 --- a/test/TrafficLight_stm32f407/Makefile +++ b/test/TrafficLight_stm32f407/Makefile @@ -9,7 +9,7 @@ skeletons: InterfaceView.aadl DataView.aadl $(KAZOO) --gw -o work $(MAKE) -C work dataview -work/glue_built: InterfaceView.aadl DeploymentView.aadl DataView.aadl +work/glue_built: InterfaceView.aadl DeploymentView.aadl DataView.aadl ConcurrencyView_Properties.aadl $(KAZOO) --glue --gw -o work touch work/glue_built