search

greatspn / SOURCES

Main repository of the GreatSPN framework
GNU General Public License v2.0
42 stars 13 forks source link

Installation errors #5

Closed zahrahosseini closed 3 years ago

zahrahosseini commented 5 years ago

I tried to execute the GreatSPN, but it faces with the following error when I run make command on the SOURCES directory. In file included from CTLParser.yy.c:17:0: WN/SOURCE/RGMEDD2/CTLParser.yy: In function ‘int yylex()’: WN/SOURCE/RGMEDD2/CTLParser.yy:41: error: ‘class FlexLexer’ has no member named ‘yylex’; did you mean ‘mmlex’?

yanntm commented 5 years ago

if you are on linux, you could use the binaries built here : https://lip6.github.io/GreatSPN-BinaryBuild/

I haven't quite managed to build everything on all OS, but the linux build is complete. Depending on what tool you want to invoke it might also be available on OSX or Windows

GallaFrancesco commented 5 years ago

@zahrahosseini what version of Flex are you using? It seems to me that the error is reproducible using the latest Flex++ 2.6.4, while the RGMEDD2 tool builds fine when using previous versions (notably Flex++ 2.6.1). Issue https://github.com/westes/flex/issues/421 in the Flex development repository seems relevant.

Please provide your system specifications (OS, GCC version, Flex version, Byacc version) and we can look into it more.

zahrahosseini commented 5 years ago

OS : Ubuntu 18.04.2 LTS GCC version: gcc version 7.4.0 Flex version: flex 2.6.4 Byacc version: byacc - 1.9 20140715

GallaFrancesco commented 5 years ago

Looks like a small fix, we can continue this discussion in the referenced PR.

amparore commented 3 years ago

since no other issues were reported, I am closing this thread.