Hi Akim,
> > From the above I had concluded that I should first compile Bison and
> > Flex later.
>
> Can't you get Flex from your distro?
Yes, I'm now installing Flex through the package system (2.6.1).
> > BTW, I also ran into the following error while running the `bootstrap'
> > script in my
Hi Akim,
On more thing I noticed:
```
$ bison --version
bison (GNU Bison) 3.2.1.139-5fb0d-dirty
Written by Robert Corbett and Richard Stallman.
Copyright (C) 2018 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERC
Hi, that's unimportant detail. It's just future 3.3 however
for whatever reason not yet properly identified.
Cheers,
> On 27 Dec 2018, at 11:15, Wouter Beek wrote:
>
> Hi Akim,
>
> On more thing I noticed:
>
> ```
> $ bison --version
> bison (GNU Bison) 3.2.1.139-5fb0d-dirty
> Written by Robe
> Le 27 déc. 2018 à 11:04, Wouter Beek a écrit :
>
> Hi Akim,
>>
>> That's weird. What "git status" noticing any difference?
>
> Yes, the missing file seems to have been deleted:
>
> ```
> $ git status
> On branch master
> Your branch is up to date with 'origin/master'.
>
> Changes not sta
> Le 27 déc. 2018 à 11:15, Wouter Beek a écrit :
>
> Hi Akim,
>
> On more thing I noticed:
>
> ```
> $ bison --version
> bison (GNU Bison) 3.2.1.139-5fb0d-dirty
> Written by Robert Corbett and Richard Stallman.
>
> Copyright (C) 2018 Free Software Foundation, Inc.
> This is free software; se
> Le 27 déc. 2018 à 13:50, Akim Demaille a écrit :
>
>
>
>> Le 27 déc. 2018 à 11:04, Wouter Beek a écrit :
>>
>> Hi Akim,
>>>
>>> That's weird. What "git status" noticing any difference?
>>
>> Yes, the missing file seems to have been deleted:
>>
>> ```
>> $ git status
>> On branch maste
