蜀诸葛亮为丞相建兴五年出屯汉中营沔北阳平石马七年冬亮遣陈式攻武都阴平遂克定二郡亮徙府营于南山下原上筑汉乐二城十二年亮悉大众繇斜谷出以流马运据武功五丈原与司马宣王对于渭南相持百余日亮疾病卒及军退宣王案行其营垒处所曰：天下奇才。