gistfile1.txt

Making check in src
make[1]: Entering directory `/home/dener/Downloads/NuSMV-2.5.4/nusmv/src'
Making check in parser
make[2]: Entering directory `/home/dener/Downloads/NuSMV-2.5.4/nusmv/src/parser'
\
	/bin/bash ../../helpers/ylwrap `test -f 'input.l' || echo './'`input.l lex.yy.c input.c -- /bin/bash /missing flex  -l
/bin/bash: /missing: No such file or directory
make[2]: *** [input.c] Error 1
make[2]: Leaving directory `/home/dener/Downloads/NuSMV-2.5.4/nusmv/src/parser'
make[1]: *** [check-recursive] Error 1
make[1]: Leaving directory `/home/dener/Downloads/NuSMV-2.5.4/nusmv/src'
make: *** [check-recursive] Error 1
dener@dener-VGN-NW210AE:~/Downloads/NuSMV-2.5.4/nusmv$ make 
make  all-recursive
make[1]: Entering directory `/home/dener/Downloads/NuSMV-2.5.4/nusmv'
Making all in src
make[2]: Entering directory `/home/dener/Downloads/NuSMV-2.5.4/nusmv/src'
Making all in parser
make[3]: Entering directory `/home/dener/Downloads/NuSMV-2.5.4/nusmv/src/parser'
\
	/bin/bash ../../helpers/ylwrap `test -f 'input.l' || echo './'`input.l lex.yy.c input.c -- /bin/bash /missing flex  -l
/bin/bash: /missing: No such file or directory
make[3]: *** [input.c] Error 1
make[3]: Leaving directory `/home/dener/Downloads/NuSMV-2.5.4/nusmv/src/parser'
make[2]: *** [all-recursive] Error 1
make[2]: Leaving directory `/home/dener/Downloads/NuSMV-2.5.4/nusmv/src'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/home/dener/Downloads/NuSMV-2.5.4/nusmv'
make: *** [all] Error 2

Hello,I have a problem with this,too.
Can you tell me how to solute this problem?
Thank you.