Hi Peter, Raimondas Thanks for your replies, and sorry for the lateness of mine.
I got 'expect', and now 'make check' appears to be working fine. Thanks again for your help. Alastair On 12/01/2010 05:44 PM, Peter Collingbourne wrote: > Hi Alastair, > > On Tue, Nov 30, 2010 at 04:19:04PM +0000, Alastair Donaldson wrote: >> /home/scratch/prog/dejagnu/dejagnu-1.4.4/runtest: line 123: exec: >> expect: not found > It looks like the 'expect' command was not found on your path. > KLEE's testing framework, dejagnu, is written using expect so > you will need it installed for the test suite to run. > > Thanks, -- Alastair F. Donaldson, B.Sc. (hons), Ph.D. EPSRC Postdoctoral Research Fellow Fellow, Wolfson College University of Oxford Computing Laboratory Wolfson Building Parks Road Oxford OX1 3QD Tel: +44 (0) 1865 610 705 Email: alastair.donaldson at comlab.ox.ac.uk Web: www.allydonaldson.co.uk Skype: ally.donaldson
