Правило Makefile GNU, що генерує кілька цілей з одного вихідного файлу

Я намагаюся зробити наступне. Існує програма, назвіть її foo-bin, яка містить один вхідний файл і генерує два вихідних файли. Тупим правилом Makefile для цього буде:

file-a.out file-b.out: input.in
    foo-bin input.in file-a.out file-b.out

Однак це жодним чином не говорить про makeте, що обидві цілі будуть генеруватися одночасно. Це добре, коли ви працюєте makeсерійно, але, ймовірно, викличе проблеми, якщо спробуєте make -j16чи щось настільки ж шалено.

Питання полягає в тому, чи існує спосіб написати правильне правило Makefile для такого випадку? Зрозуміло, що це створило б DAG, але якось інструкція з виготовлення GNU не вказує, як можна обробляти цей випадок.

Запуск одного і того ж коду двічі та генерування лише одного результату не викликає сумнівів, оскільки для обчислення потрібен час (подумайте: години). Виведення лише одного файлу також було б досить складно, тому що часто він використовується як вхід до GNUPLOT, який не знає, як обробляти лише частину файлу даних.

Я би вирішив це так:

file-a.out: input.in
    foo-bin input.in file-a.out file-b.out   

file-b.out: file-a.out
    #do nothing
    noop

У цьому випадку паралельний make буде "серіалізувати", створюючи a і b, але оскільки створення b не робить нічого, це не займе часу.

Хитрість полягає у використанні правила зразка з кількома цілями. У такому випадку make вважатиме, що обидві цілі створюються одним викликом команди.

всі: file-a.out file-b.out
file-a% out file-b% out: input.in
    foo-bin input.in file-a $ * out file-b $ * out

Ця різниця в тлумаченні між шаблоновими правилами та звичайними правилами не має сенсу, але вона корисна для таких випадків, і це задокументоване в посібнику.

Цей трюк можна використовувати для будь-якої кількості вихідних файлів до тих пір, поки їх імена мають загальну підрядку для %відповідності. (У цьому випадку загальною підрядкою є ".")

Make не має інтуїтивного способу зробити це, але є два гідних способи вирішення.

По-перше, якщо цілі мають спільне стовбур, ви можете використовувати префіксне правило (з GNU make). Тобто, якщо ви хочете виправити таке правило:

object.out1 object.out2: object.input
    foo-bin object.input object.out1 object.out2

Ви можете написати це так:

%.out1 %.out2: %.input
    foo-bin $*.input $*.out1 $*.out2

(Використовуючи змінну правила шаблону $ *, яка означає узгоджену частину шаблону)

Якщо ви хочете бути переносними для не-GNU Зробити реалізацію, або якщо ваші файли не можуть бути названі відповідно до правила шаблону, є інший спосіб:

file-a.out file-b.out: input.in.intermediate ;

.INTERMEDIATE: input.in.intermediate
input.in.intermediate: input.in
    foo-bin input.in file-a.out file-b.out

Це говорить про те, що input.in.intermediate не буде існувати до запуску make, тому його відсутність (або часова мітка) не призведе до того, що foo-bin запускається неправдиво. І якщо файл-a.out, чи файл-b.out або обидва вони застаріли (відносно input.in), foo-bin буде запущений лише один раз. Ви можете використовувати .SECONDARY замість .INTERMEDIATE, який наказать НЕ видаляти гіпотетичне ім'я файлу input.in.intermediate. Цей спосіб також безпечний для паралельних побудов.

Точка з комою на першому рядку важлива. Це створює порожній рецепт цього правила, так що Make Know знає, що ми дійсно будемо оновлювати файл-a.out та file-b.out (спасибі @siulkiulki та інші, хто вказав на це)

Це ґрунтується на другій відповіді @ deemer, яка не покладається на правила шаблону, і вона виправляє проблему, з якою я стикався з вкладеними способами вирішення.

file-a.out file-b.out: input.in.intermediate
    @# Empty recipe to propagate "newness" from the intermediate to final targets

.INTERMEDIATE: input.in.intermediate
input.in.intermediate: input.in
    foo-bin input.in file-a.out file-b.out

Я додав би це як коментар до відповіді @ deemer, але не можу, тому що я просто створив цей обліковий запис і не маю репутації.

Пояснення: Порожній рецепт потрібен для того, щоб дозволити Make зробити належну бухгалтерію для маркування file-a.outта file-b.outяк відновлення. Якщо у вас є ще одна проміжна ціль, від якої залежить file-a.out, то Make вирішить не будувати зовнішній проміжний, заявляючи:

No recipe for 'file-a.out' and no prerequisites actually changed.
No need to remake target 'file-a.out'.

Після GNU Make 4.3 (19 січня 2020 року) ви можете використовувати "згруповані явні цілі". Замініть :на &:.

file-a.out file-b.out &: input.in
    foo-bin input.in file-a.out file-b.out

Файл NEWS GNU Make говорить:

Нова функція: Групування явних цілей

Правила шаблону завжди мали можливість генерувати кілька цілей за допомогою одного виклику рецепта. Тепер можна заявити, що явне правило генерує кілька цілей за допомогою одного виклику. Щоб скористатися цим, замініть маркер ":" на "&:" у праві. Для виявлення цієї функції знайдіть "згрупована ціль" у спеціальній змінній. Реалізація сприяла Kaz Kylheku <kaz@kylheku.com>

Ось як я це роблю. По-перше, я завжди відокремлюю попередні реквізити від рецептів. Тоді в цьому випадку нова мета зробити рецепт.

all: file-a.out file-b.out #first rule

file-a.out file-b.out: input.in

file-a.out file-b.out: dummy-a-and-b.out

.SECONDARY:dummy-a-and-b.out
dummy-a-and-b.out:
    echo creating: file-a.out file-b.out
    touch file-a.out file-b.out

Перший раз:
1. Ми намагаємося створити файл-a.out, але манекен-а-і-b.out потрібно зробити спочатку, тому зробимо запуск рецепта «манекен-а-і-б».
2. Ми намагаємося створити файл-b.out, dummy-a-and-b.out.

Другий і наступний час:
1. Ми намагаємося створити файл-a.out: перегляньте передумови, нормальні передумови оновлені, вторинні передумови відсутні, тому їх ігнорують.
2. Ми намагаємося створити файл-b.out: перегляньте передумови, нормальні передумови оновлені, вторинні передумови відсутні, тому їх ігноруйте.

Як розширення до відповіді @ deemer, я узагальнив її у функції.

sp :=
sp +=
inter = .inter.$(subst $(sp),_,$(subst /,_,$1))

ATOMIC=\
    $(eval s1=$(strip $1)) \
    $(eval target=$(call inter,$(s1))) \
    $(eval $(s1): $(target) ;) \
    $(eval .INTERMEDIATE: $(target) ) \
    $(target)

$(call ATOMIC, file-a.out file-b.out): input.in
    foo-bin input.in file-a.out file-b.out

Зламатися:

$(eval s1=$(strip $1))

Викресліть будь-який провідний / кінцевий пробіл з першого аргументу

$(eval target=$(call inter,$(s1)))

Створіть змінну ціль до унікального значення, яку слід використовувати як проміжну ціль. У цьому випадку значення буде .inter.file-a.out_file-b.out.

$(eval $(s1): $(target) ;)

Створіть порожній рецепт для результатів з унікальною ціллю як залежність.

$(eval .INTERMEDIATE: $(target) ) 

Заявіть про унікальну ціль як проміжну.

$(target)

Закінчіть посиланням на унікальну ціль, щоб цю функцію можна було використовувати безпосередньо в рецепті.

Також зауважте, що тут використовується eval, тому що eval розширюється ні до чого, тому повне розширення функції є лише унікальною ціллю.

Повинен надати атомарні правила в GNU Зробити, від чого ця функція надихнута.

Щоб запобігти паралельному багаторазовому виконанню правила з кількома виходами make -jN, використовуйте .NOTPARALLEL: outputs. У вашому випадку:

.NOTPARALLEL: file-a.out file-b.out

file-a.out file-b.out: input.in
    foo-bin input.in file-a.out file-b.out