compiling VAL

[lispm]

I could compile the VAL in the jenkins directory on an Ubuntu 18.04 ARM64 machine.

I had to change the Makefile :

%.cpp : %.yacc
	${LEX} -+ src/Parser/pddl+.lex -o /src/Parser/lex.yy.cc; ${YACC} $< -o src/pddl+.cpp

to

%.cpp : %.yacc
	${LEX} -+ -o src/Parser/lex.yy.cc src/Parser/pddl+.lex; ${YACC} $< -o src/pddl+.cpp

[rpgoldman]

Thanks. I need to get the source here replaced by a git submodule from a maintained copy of VAL. See issue #6

[lispm]

I was able to use VAL in the current provided form from the jenkis directory for executing the test suite. Is that okay?

[rpgoldman]

@lispm Yes, that should be fine. Note that I fixed things up in the .travis.yml configuration.

I am going to close this and defer further discussion to #6

The biggest challenge for finding a remote for VAL is that we need one that will support the -x flag we use. This flag makes VAL set the output status based on whether the validation is successful or not.