Create a gist now

Instantly share code, notes, and snippets.

Embed
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
@dclaoshi

This comment has been minimized.

Show comment
Hide comment
@dclaoshi

dclaoshi Jan 8, 2014

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

dclaoshi commented Jan 8, 2014

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment