Closed tpetmanson closed 9 years ago
Fixed.
It would have been nice to get the Pull Request merged. Nice that it got fixed.
I appreciate your pull request. I didn't accept it as the fix was already done on our side yesterday, just not committed yet :) Anyway, thanks again for your support.
I failed to compile both the analyzer and synthesizer with gcc version 4.7.2 (Debian 4.7.2-5) with the latest code in the repository.
For example, in case of the synthesizer, the relevant error log is here:
I modified lines 9 and 10 of
lib/proof/suggestor.cpp
and added spaces between the string literals:After this change, I managed to compile both programs.
It seems that the subject error occurs because in the new c++11 a space between string concatenation is mandatory: http://stackoverflow.com/questions/10329942/error-unable-to-find-string-literal-operator-slashes Although I do not see anywhere in the makefile that C++11 flag is set.