/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