Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > fr.comp.os.unix > #8047 > unrolled thread
| Started by | Thomas <fantome.forums.tDeContes@free.fr.invalid> |
|---|---|
| First post | 2022-10-24 21:42 +0200 |
| Last post | 2023-05-09 20:25 +0200 |
| Articles | 2 — 1 participant |
Back to article view | Back to fr.comp.os.unix
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
| From | Thomas <fantome.forums.tDeContes@free.fr.invalid> |
|---|---|
| Date | 2022-10-24 21:42 +0200 |
| Subject | Makefiles : 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]
| From | Thomas <fantome.forums.tDeContes@free.fr.invalid> |
|---|---|
| Date | 2023-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