Untitled

/bin/bash ./libtool --tag=CC   --mode=compile gcc  -I.    -I/home/papri/distfun/src/genrand/ -I/home/papri/distfun/src/genrand/ -c -o genbet.lo genbet.c

mkdir .libs

 gcc -I. -I/home/papri/distfun/src/genrand/ -I/home/papri/distfun/src/genrand/ -c genbet.c  -fPIC -DPIC -o .libs/genbet.o

In file included from genbet.c:2:0:

/home/papri/distfun/src/genrand/genrand.h:40:21: fatal error: machine.h: No such file or directory

compilation terminated.

make: *** [genbet.lo] Error