Make: $PATH auf Eintrag prüfen

Daniel Gast #2759845
Lesenswert?
• ▲
▼ 
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
Antwort Zitieren Bearbeiten Thread verschieben Thread sperren Anmeldepflicht aktivieren Anpinnen Thread löschen Thread mit anderem zusammenführen Beitrag melden
Rolf Gast #2759941
Lesenswert?
• ▲
▼ 
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.
Antwort Zitieren Bearbeiten Löschen Beitrag melden
Thread beobachten

Antwort schreiben

Bitte melde dich an, um einen Beitrag zu schreiben.

Bestehender Account

oder

Mit Google-Account einloggen

Noch kein Account?

Die Registrierung ist kostenlos und dauert nur eine Minute.

Jetzt registrieren