Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > fr.comp.os.unix > #8047 > unrolled thread

Makefiles : variable SHELL

Started byThomas <fantome.forums.tDeContes@free.fr.invalid>
First post2022-10-24 21:42 +0200
Last post2023-05-09 20:25 +0200
Articles 2 — 1 participant

Back to article view | Back to fr.comp.os.unix


Contents

  Makefiles : variable SHELL Thomas <fantome.forums.tDeContes@free.fr.invalid> - 2022-10-24 21:42 +0200
    Re: Makefiles : variable SHELL Thomas <fantome.forums.tDeContes@free.fr.invalid> - 2023-05-09 20:25 +0200

#8047 — Makefiles : variable SHELL

FromThomas <fantome.forums.tDeContes@free.fr.invalid>
Date2022-10-24 21:42 +0200
SubjectMakefiles : variable SHELL
Message-ID<6356ea94$0$25835$426a74cc@news.free.fr>
bonjour :-)


dans mes souvenirs il était recommandé d'écrire dans son makefile :

SHELL = /bin/sh

pour des raisons de compatibilité avec les anciennes versions de make je 
crois, ou qqch du genre.

mais je ne parviens pas à retrouver où ! (peut-être la doc a-t-elle été 
mise à jour ?)


en tout cas, j'aimerais avoir votre avis là dessus :

est-ce qu'il vaut mieux ajouter cette ligne dans ses makefiles,

ou bien est-ce qu'il vaut mieux ne pas le faire, simplement parce que ça 
alourdit et ça ne sert à rien, voire parce que ça peut être nuisible 
dans certains cas ?

-- 
RAPID maintainer
http://savannah.nongnu.org/projects/rapid/

[toc] | [next] | [standalone]


#8078

FromThomas <fantome.forums.tDeContes@free.fr.invalid>
Date2023-05-09 20:25 +0200
Message-ID<fantome.forums.tDeContes-71C583.20253109052023@news.eternal-september.org>
In reply to#8047
In article <6356ea94$0$25835$426a74cc@news.free.fr>,
 Thomas <fantome.forums.tDeContes@free.fr.invalid> wrote:

> bonjour :-)
> 
> 
> dans mes souvenirs il était recommandé d'écrire dans son makefile :
> 
> SHELL = /bin/sh
> 
> pour des raisons de compatibilité avec les anciennes versions de make je 
> crois, ou qqch du genre.
> 
> mais je ne parviens pas à retrouver où !

voilà, j'ai retrouvé :
https://www.gnu.org/software/make/manual/html_node/Makefile-Basics.html

(il n'apparait pas dans les index !)

> 
> 
> en tout cas, j'aimerais avoir votre avis là dessus :
> 
> est-ce qu'il vaut mieux ajouter cette ligne dans ses makefiles,
> 
> ou bien est-ce qu'il vaut mieux ne pas le faire, simplement parce que ça 
> alourdit et ça ne sert à rien, voire parce que ça peut être nuisible 
> dans certains cas ?

ce qui me perturbe c'est que c'est écrit à la fois "Every Makefile 
should contain this line" et "This is never a problem with GNU make"


si je comprend bien :
https://www.gnu.org/software/make/manual/html_node/Features.html
les fonctions sont spécifiques à GNU make,
donc de toutes façons je dois préciser à mes usagers que GNU make est 
obligatoire.

est-ce que du coup, ça me met dans une niche dans laquelle 
"SHELL = /bin/sh" n'a absolument aucune utilité, ou pas ?
merci de m'éclairer :-)

-- 
RAPID maintainer
http://savannah.nongnu.org/projects/rapid/

[toc] | [prev] | [standalone]


Back to top | Article view | fr.comp.os.unix


csiph-web