Regla GNU Makefile que genera algunos objetivos a partir de un solo archivo fuente

Estoy intentando hacer lo siguiente. Hay un programa, llámelo foo-bin, que toma un solo archivo de entrada y genera dos archivos de salida. Una regla tonta de Makefile para esto sería:

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

Sin embargo, esto no indica makede ninguna manera que ambos objetivos se generarán simultáneamente. Eso está bien cuando se ejecuta makeen serie, pero es probable que cause problemas si uno lo intenta make -j16o algo igualmente loco.

La pregunta es si existe una forma de escribir una regla Makefile adecuada para tal caso. Claramente, generaría un DAG, pero de alguna manera el manual de GNU make no especifica cómo se podría manejar este caso.

Ejecutar el mismo código dos veces y generar solo un resultado está fuera de discusión, porque el cálculo lleva tiempo (piense: horas). La salida de un solo archivo también sería bastante difícil, porque con frecuencia se usa como entrada para GNUPLOT que no sabe cómo manejar solo una fracción de un archivo de datos.

Lo resolvería de la siguiente manera:

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

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

En este caso, la marca paralela 'serializará' creando ayb, pero dado que la creación de b no hace nada, no lleva tiempo.

El truco consiste en utilizar una regla de patrón con varios objetivos. En ese caso, make asumirá que ambos destinos se crean mediante una única invocación del comando.

todo: archivo-a.out archivo-b.out
file-a% out file-b% out: input.in
    foo-bin input.in file-a $ * out file-b $ * out

Esta diferencia en la interpretación entre las reglas de patrón y las reglas normales no tiene exactamente sentido, pero es útil para casos como este y está documentada en el manual.

Este truco se puede utilizar para cualquier número de archivos de salida siempre que sus nombres tengan alguna subcadena común para %que coincida. (En este caso, la subcadena común es ".")

Make no tiene una forma intuitiva de hacer esto, pero hay dos soluciones decentes.

Primero, si los objetivos involucrados tienen una raíz común, puede usar una regla de prefijo (con GNU make). Es decir, si quisiera corregir la siguiente regla:

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

Podrías escribirlo de esta manera:

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

(Usando la variable de regla de patrón $ *, que representa la parte coincidente del patrón)

Si desea ser portable a implementaciones Make que no sean GNU o si sus archivos no pueden ser nombrados para que coincidan con una regla de patrón, hay otra forma:

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

Esto le dice a make que input.in.intermediate no existirá antes de que se ejecute make, por lo que su ausencia (o su marca de tiempo) no hará que foo-bin se ejecute de manera falsa. Y ya sea que file-a.out o file-b.out o ambos estén desactualizados (en relación con input.in), foo-bin solo se ejecutará una vez. Puede usar .SECONDARY en lugar de .INTERMEDIATE, que indicará a make NOT que elimine un nombre de archivo hipotético input.in.intermediate. Este método también es seguro para compilaciones paralelas.

El punto y coma de la primera línea es importante. Crea una receta vacía para esa regla, para que Make sepa que realmente actualizaremos file-a.out y file-b.out (gracias @siulkiulki y otros que señalaron esto)

Esto se basa en la segunda respuesta de @ deemer, que no se basa en reglas de patrón, y soluciona un problema que estaba experimentando con los usos anidados de la solución alternativa.

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

Habría agregado esto como un comentario a la respuesta de @ deemer, pero no puedo porque acabo de crear esta cuenta y no tengo ninguna reputación.

Explicación: La receta vacía es necesaria para permitir que Make haga la contabilidad adecuada para marcar file-a.outy file-b.outcomo reconstruido. Si tiene otro objetivo intermedio del que depende file-a.out, Make elegirá no construir el intermedio externo, afirmando:

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

Después de GNU Make 4.3 (19 de enero de 2020), puede utilizar "objetivos explícitos agrupados". Reemplazar :con &:.

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

El archivo NEWS de GNU Make dice:

Nueva función: objetivos explícitos agrupados

Las reglas de patrón siempre han tenido la capacidad de generar múltiples objetivos con una sola invocación de la receta. Ahora es posible declarar que una regla explícita genera múltiples objetivos con una sola invocación. Para usar esto, reemplace el token ":" con "&:" en la regla. Para detectar esta característica, busque 'grupo-objetivo' en la variable especial .FEATURES. Implementación aportada por Kaz Kylheku <[email protected]>

Así es como lo hago. Primero, siempre separo los requisitos previos de las recetas. Entonces, en este caso, un nuevo objetivo para hacer la receta.

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

La primera vez:
1. Intentamos construir file-a.out, pero dummy-a-and-b.out necesita hacerlo primero, así que ejecute la receta dummy-a-and-b.out.
2. Intentamos construir file-b.out, dummy-a-and-b.out está actualizado.

La segunda vez y las siguientes:
1. Intentamos construir file-a.out: revisamos los prerrequisitos, los prerrequisitos normales están actualizados, los prerrequisitos secundarios faltan, así que se ignoran.
2. Intentamos construir file-b.out: revise los prerrequisitos, los prerrequisitos normales están actualizados, los prerrequisitos secundarios faltan, así que se ignoran.

Como una extensión de la respuesta de @ deemer, la he generalizado en una función.

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

Descompostura:

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

Quite cualquier espacio en blanco inicial / final del primer argumento

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

Cree un destino variable con un valor único para utilizarlo como destino intermedio. Para este caso, el valor será .inter.file-a.out_file-b.out.

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

Cree una receta vacía para las salidas con el objetivo único como dependencia.

$(eval .INTERMEDIATE: $(target) ) 

Declare el objetivo único como intermedio.

$(target)

Termine con una referencia al objetivo único para que esta función se pueda usar directamente en una receta.

También tenga en cuenta que el uso de eval aquí se debe a que eval se expande a nada, por lo que la expansión completa de la función es solo el objetivo único.

Debe dar crédito a las Reglas Atómicas en GNU Make, de las cuales se inspira esta función.

Para evitar la ejecución múltiple en paralelo de una regla con múltiples salidas con make -jN, utilice .NOTPARALLEL: outputs. En tu caso :

.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