רמב"ם (משנה תורה) הלכות מלכים ומלחמותיהם פרק א הלכה ב
מנוי מלך קודם למלחמת עמלק. שנאמר (שמואל א טו א) "אתי שלח ה' למשחך למלך" (שמואל א טו ג) "עתה לך והכיתה את עמלק". והכרתת זרע עמלק קודמת לבנין הבית. שנאמר (שמואל ב ז א) "ויהי כי ישב המלך בביתו וה' הניח לו מסביב מכל איביו" (שמואל ב ז ב) "ויאמר המלך אל נתן הנביא אנכי יושב בבית ארזים" וגו'. מאחר שהקמת מלך מצוה למה לא רצה הקדוש ברוך הוא כששאלו מלך משמואל. לפי ששאלו בתרעמת. ולא שאלו לקים המצוה אלא מפני שקצו בשמואל הנביא. שנאמר (שמואל א ח ז) "כי לא אתך מאסו כי אתי מאסו" וגו':