Make: $PATH auf Eintrag prüfen

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 schreiben

Bitte melde dich an, um einen Beitrag zu schreiben.

oder

Mit Google-Account einloggen

Die Registrierung ist kostenlos und dauert nur eine Minute.

Jetzt registrieren