distcc swMATH ID: 4602 Software Authors: Martin Pool Description: Distcc: a fast, free distributed C/C++ compiler distcc is a program to distribute builds of C, C++, Objective C or Objective C++ code across several machines on a network. distcc should always generate the same results as a local build, is simple to install and use, and is usually much faster than a local compile. distcc does not require all machines to share a filesystem, have synchronized clocks, or to have the same libraries or header files installed. They can even have different processors or operating systems, if cross-compilers are installed. Homepage: http://code.google.com/p/distcc/ Related Software: JACK; Boogie; ESC4; ESC/Java; Caduceus; MetaPRL; Omnibus; Isar; Spec#; Metis_; Why3; Isabelle; HOL-Boogie Cited in: 1 Publication Cited by 2 Authors 1 Chalin, Patrice 1 James, Perry R. Cited in 1 Serial 1 Journal of Automated Reasoning Cited in 1 Field 1 Computer science (68-XX) Citations by Year