Issue 373: VAL fails to build - Fast Downward issue tracker

Title	VAL fails to build
Priority	bug	Status	resolved
Superseder		Nosy List	malte, ronwalf
Assigned To	malte	Keywords
Optional summary

Created on 2013-02-23.03:27:06 by ronwalf, last changed by malte.

Files
File name	Uploaded	Type	Edit	Remove
val-build.diff	ronwalf, 2013-02-23.03:27:06	text/x-patch

Messages
msg2393 (view)	Author: malte	Date: 2013-02-23.06:01:40
Looks good to me, thanks! I've integrated the patch and also notified VAL's authors so that the patch can be included upstream.
msg2392 (view)	Author: ronwalf	Date: 2013-02-23.05:35:13
Oh, hurr, I should probably include the error messages. The changes to ptree.h all fix errors of the form: ptree.h:392:3: note: declarations in dependent base ‘std::map<std::basic_string<char>, VAL::operator_symbol, std::less<std::basic_string<char> >, std::allocator<std::pair<const std::basic_string<char>, VAL::operator_symbol> > >’ are not found by unqualified lookup ptree.h:392:3: note: use ‘this->insert’ instead make: *** [pddl+.o] Error 1 rm pddl+.cpp The change to Validator.cpp changes a variable name (i) that was being redefined.
msg2391 (view)	Author: ronwalf	Date: 2013-02-23.03:27:06
VAL fails to build on Ubuntu 12.10 (gcc 4.7.2). I ran into a small number of build errors on Ubuntu 12.10, and I've attached a patch to fix them. I haven't used C++ in a decade or so. Maybe I got this right?

History
Date	User	Action	Args
2013-02-23 06:01:41	malte	set	status: chatting -> resolved assignedto: malte messages: + msg2393 nosy: + malte
2013-02-23 05:35:14	ronwalf	set	status: unread -> chatting messages: + msg2392
2013-02-23 03:27:06	ronwalf	create