distcc and lint

View: New views
2 Messages — Rating Filter:   Alert me  

distcc and lint

by Tom Holly :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

I am running distcc v3.1 from a Linux machine with Sun computers as the servers. Distcc is running with lint as its first step and I was wondering if it is necessary to send source files across the include server when lint is running. I am running from a NFS so every server has access to the same header files. Also, I wondered if I could run lint simultaneously with the compiler instead of one after the other. There hasn't been much in the forums about lint if anything at all. Let me know what you think. Thanks!

-Tom

__
distcc mailing list            http://distcc.samba.org/
To unsubscribe or change options:
https://lists.samba.org/mailman/listinfo/distcc

Re: distcc and lint

by Martin Pool-3 :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

2009/10/6 Tom Holly <hollydt@...>:
> I am running distcc v3.1 from a Linux machine with Sun computers as the
> servers. Distcc is running with lint as its first step and I was wondering
> if it is necessary to send source files across the include server when lint
> is running. I am running from a NFS so every server has access to the same
> header files.

This might be new in distcc 3.x, but I didn't think that it could
actually distribute work for lint.

> Also, I wondered if I could run lint simultaneously with the
> compiler instead of one after the other. There hasn't been much in the
> forums about lint if anything at all. Let me know what you think. Thanks!

Sure, but you need to do this in your makefile not in distcc.

Something like

all: myprogram lint

lint:
    lint *.c

will allow gmake to run them in parallel.

If you want to lint only the files being recompiled that's also
possible but a little more complex, probably you need the .o file to
depend on two rules.

--
Martin <http://launchpad.net/~mbp/>
__
distcc mailing list            http://distcc.samba.org/
To unsubscribe or change options:
https://lists.samba.org/mailman/listinfo/distcc