Just run make from the top level Mahogany directory. If you later want to rebuild Mahogany without rebuilding the libraries contained in the extra/src directory, i.e. after changing the Mahogany source, just run make in the src directory.