Assertion list for term "specified in the makefile".
Results from Ascent++: 1
value (aspect of variable) → ReceivesAction → specified in the makefile 0.25