Exportar variables de proxy ás receitas de GNU Make

make executa o descargador; o descargador decide como usar un proxy. Para GNU make, exporta as variables no ámbito do Makefile cando cada receita relevante deba recibilas:

export http_proxy := http://proxy.example:8080
export https_proxy := http://proxy.example:8080

fetch:
	curl --fail --output package.tar.gz https://downloads.example/package.tar.gz

A liña da receita comeza cun tabulador. As directivas export pertencen á sintaxe de make e pasan os valores ao contorno das ordes.

Un export de shell nunha liña de receita normalmente desaparece antes da liña seguinte, porque GNU make invoca un shell distinto para cada liña. Para unha soa orde, usa mellor unha asignación de shell directamente con esa orde:

fetch:
	http_proxy=http://proxy.example:8080 https_proxy=http://proxy.example:8080 curl --fail https://downloads.example/package.tar.gz

Usa os nomes de variables e o protocolo de proxy documentados do descargador. Se a compilación pode usar un punto de conexión HTTP público, escolle un candidato da lista de proxies HTTP para eses valores de contorno. Un executable que ignora estas variables necesita a súa propia opción de proxy. É mellor fornecer as credenciais a través do contorno de compilación que gardalas no Makefile.

Estes exports afectan as ordes fillas. Non cambian o contorno do terminal pai despois de que make remate.