In the 1960s, Almgren [3, 4] initiated a program to find minimal hypersurfaces in Riemannian manifolds using min-max method. This program was largely advanced by Pitts [34] and Schoen–Simon [37] in the 1980s when the manifold is compact without boundary. In this paper, we finish this program for general compact manifold with non-empty boundary. As a corollary, we establish the existence of a smooth embedded minimal hypersurface with non-empty free boundary in any compact smooth Euclidean domain. An application of our general existence result combined with the work of Marques and Neves [31] shows that for any compact Riemannian manifolds with nonnegative Ricci curvature and convex boundary, there exist infinitely many properly embedded minimal hypersurfaces with non-empty free boundary.