Yep. See below in original message. in my case it's called >sudo aptitude install gawk. On Mon, 2007-11-12 at 23:15 +1100, Erik de Castro Lopo wrote: > Mikhalev, Alex wrote: > > > /ocamlgsl-0.6.0$ make > > /bin/sh: gawk: not found > > /bin/sh: gawk: not found > > /bin/sh: gawk: not found > > Did you try doing: > > sudo apt-get install gawk > > Erik