Make: $PATH auf Eintrag prüfen

[Daniel (Gast)]

hi,

wie kann ich aus dem Makefile heraus prüfen ob $PATH einen bestimmten
Eintrag hat? Falls nicht, möchte ich default Verzeichnis setzten.
Wie würde das aussehen? zB für Tool splint

Hintergrund:
Die Umgebung ist cygwin, daher liegen viele Tools (alle die nicht
mit cygwin kommen) nicht in $PATH.

Gruß,
Daniel

[Rolf (Gast)]

vorher in der shell:
echo $PATH

Im Makefile einen eigenen Eintrag machen (Makefile editieren):

PATH_Pruefen:
TABecho $PATH


Da, wo TAB steht, muss Du mit einem TAB einrücken. Dann "make 
PATH_Pruefen" auf der Kommandozeile eingeben.