X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile.in;h=afe6c1e1eed77098beb5b97f9b564a4996791361;hb=4e21e663ab8b0d84d7ac272c030faad83cf10f5f;hp=4a80a3fc652844c52ac7eb1aaaf2e095e056f5d8;hpb=f9fc3966a7a1dba91bab09c7e35e84671a99275d;p=goals.git diff --git a/Goalfile.in b/Goalfile.in index 4a80a3f..afe6c1e 100644 --- a/Goalfile.in +++ b/Goalfile.in @@ -81,7 +81,7 @@ goal depend () = rm -f %@ %@-t # Like many existing tools, ocamldep produces make-compatible # output which doesn't work directly in goals. - %OCAMLDEP -all -one-line %< | + %OCAMLDEP -all -one-line -I src %< | sed 's|[./[:alnum:]]\+|"&"|g' | sed 's|" "|", "|g' | sed 's|.*|& ;|' > %@-t