Paga de verano

Hola quería haceros una consulta, veréis mi marido trabaja de encofrador en una empresa desde septiembre de 2008, y ahora le corresponde la paga de verano pero no sabemos muy bien como se calcula si desde septiembre o desde enero, a el en navidad le correspondió la parte proporcional desde septiembre a navidad pero ahora no se como se calculara la de verano, podéis echarme una mano. Gracias.