Midrash for Sanhedrin 40:19
הדר או לא הדר רב ושמואל חד אמר הדר וחד אמר לא הדר מאן דאמר לא הדר מלך והדיוט ומאן דאמר הדר מלך והדיוט ומלך:
Yet I still do not know which [of the other two] comes first, the building of the chosen Temple or the cutting off of the seed of Amalek. Hence, when it is written, And when He giveth you rest from all your enemies round about etc., and then [Scripture proceeds], Then it shall come to pass that the place which the Lord your God shall choose,<span class="x" onmousemove="('comment',' Deut. XII, 10. ');"><sup>29</sup></span> it is to be inferred that the extermination of Amalek is first. And so it is written of David, And it came to pass when the king dwelt in his house, and the Lord had given him rest from his enemies round about, and the passage continues; that the king said unto Nathan the Prophet: See now, I dwell in a house of cedars etc.<span class="x" onmousemove="('comment',' II Sam. VII, 1-2. ');"><sup>30</sup></span>