Đo lường thời gian dành cho mỗi mục tiêu của Makefile

Question

Có cách nào để phản hồi thời gian (hệ thống, người dùng, thực) được chi tiêu trong mỗi mục tiêu của Makefile đệ quy khi tôi làm make all?

Tôi muốn đánh giá quá trình biên soạn dự án theo cách chi tiết hơn chỉ là time make all. Lý tưởng nhất, nó sẽ lặp lại một cây của mục tiêu được thực hiện, mỗi cái với thời gian dành cho tất cả các phụ thuộc của nó. Nó cũng sẽ tuyệt vời nếu nó có thể hoạt động với -j (làm song song). Và bằng cách này, Makefile của tôi không được đệ quy (không sinh ra một cá thể make khác cho mỗi mục tiêu chính).

Cảm ơn!

Answer 1

Gnu Make sử dụng biến $ (SHELL) để thực hiện các lệnh trong các mục tiêu.

Theo mặc định, nó được đặt thành/bin/sh.

Bạn có thể đặt biến này thành tập lệnh sẽ thực thi lệnh được cung cấp bằng lệnh "thời gian". Một cái gì đó như thế này:

Trong makefile của bạn định biến SHELL, đâu đó ở đầu trang:

SHELL = ./report_time.sh 

và trong file ./report_time.sh:

#!/bin/sh 
shift # get rid of the '-c' supplied by make. 
time sh -c "$*" 

Các thay thế 'sh 'lệnh với SHELL ban đầu được chỉ định trong Makefile nếu có.

Điều này sẽ báo cáo thời gian.

Tuy nhiên Điều này sẽ không cho bạn biết mục tiêu của tập lệnh report_time.sh đang chạy. Một giải pháp cho việc này là thêm tên mục tiêu ($ @) vào mỗi mục tiêu trong tệp makefile để nó cũng được chuyển tới kịch bản report_time.sh.