Problems compiling Reluplex

[iurybessa]

Hello,

I tried to build the Reluplex based on the Readme.txt instructions, however I've obtained the following error:

Reluplex.h:2701:64: error: implicitly-declared ‘String::String(const String&)’ is deprecated [-Werror=deprecated-copy]

Do you know why is it occuring?

Thank you very much!

[shchae7]

It looks like it's because of the GCC compiler you're using. Just a simple workaround is deleting the -Werror flag from Rules.mk in reluplex/ and check_properties/.

CFLAGS += \
	-MMD \
	-Wall \
	-Wextra \
	-Werror \
	-Wno-deprecated \
	-Wno-unused-but-set-variable \
	-std=c++0x \
	\
	-g \

It returns a bunch of error messages but looks like it functions ok.