Skip to content

@dennermiranda /gist:2870188
Created

Embed URL

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
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
@0ldPine

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
Something went wrong with that request. Please try again.