fix CTLParser to allow building with flex++ 2.6.4

greatspn / SOURCES

Main repository of the GreatSPN framework

GNU General Public License v2.0

42 stars 13 forks source link

fix CTLParser to allow building with flex++ 2.6.4 #7

Closed GallaFrancesco closed 3 years ago

GallaFrancesco commented 5 years ago

The latest version of Flex++ has modified the handling of yy_ attributes, resulting in a compilation error for the RGMEDD2 tool. For reference, see: https://github.com/greatspn/SOURCES/issues/5.

A possible solution to this is to use the prefixed function mmlex inside the CTLParser.yy file. This results in a successful build with flex++ 2.6.4.

amparore commented 3 years ago

the rgmedd2 tool has been removed from the tree, since it was superseded by its successors.