We study joint proportional-fair (PF) resource allocation (RA), including user selection, linear precoding design, power optimization, and modulation and coding scheme selection, in a single-cell downlink massive MIMO (m-MIMO) system over consecutive time-slots when taking per-antenna power constraints (PAPCs) into account. We formulate the general PF joint RA optimization problem as a weighted sum-rate maximization problem at each time-slot and develop a solution technique to obtain a quasi-optimal feasible solution via the introduction of auxiliary variables and a carefully chosen approximation of the spectral-efficiency function. To obtain results for larger settings (i.e., larger number of antennas and users), we propose an approximation to the general problem that yields quasi-optimal feasible solutions. Moreover, we consider state-of-the-art linear precoding techniques and propose a general heuristic RA scheme that takes PAPCs into account. Numerical results show that PAPCs have significant impact on performance even for a very large number of antennas, and that the best existing linear precoding technique, RZFT (regularized zero-forcing transmission) performs very well when RA is performed carefully as long as the PAPCs are not tight. However, RZFT is far from optimal under tight PAPCs, which highlights the need for practical PAPC-aware precoding techniques in this regime.