sources := \
    ttcn/V2XInformationServiceAPI_TypesAndValues.ttcn \
    ttcn/V2XInformationServiceAPI_Pics.ttcn \
    ttcn/V2XInformationServiceAPI_Pixits.ttcn \
    ttcn/V2XInformationServiceAPI_Templates.ttcn \