The main aim of this paper is to investigate weakly/properly/robust efficient solutions of a nonsmooth semi-infinite multiobjective programming problem, in terms of convexificators. In some of the results, we assume the feasible set to be locally star-shaped. The appearing functions are not necessarily smooth/locally Lipschitz/convex. First, constraint qualifications and the normal cone to the feasible set are studied. Then, as a major part of the paper, various necessary and sufficient optimality conditions for solutions of the problem under consideration are presented. The paper is closed by a linear approximation problem to detect the solutions and by studying a gap function.