-
Notifications
You must be signed in to change notification settings - Fork 226
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Flex not installed by get-deps.pl #112
Comments
the issue here is that flex shouldnt have been needed since the distro thanks On 26 May 2015 at 00:33, Allan Tokuda notifications@github.com wrote:
|
actually get-deps.pl does install flex - strange that it didnt do it sudo apt-get install "$@" flex bison make On 28 May 2015 at 22:38, Paul Fox paul.d.fox@gmail.com wrote:
|
On Ubuntu after running
get-deps.pl
when runningmake all
I got this error:Sorry - but I cannot find flex on your system.
I installed flex with
sudo apt-get install flex
and then the error went away. Seems thatget-deps
should have installed it for me, however.The text was updated successfully, but these errors were encountered: