VAL4.2.07 failed in itSIMPLE4.0beta, how to fix this configuration problem?

[GoogleCodeExporter]

Referring to your instruction in the issue 17, I have replaced the string 
‘val4’ to ‘validate’ in itValidators.xml. The former VAL website 
http://planning.cis.strath.ac.uk/VAL/  has been abandoned and turned to 
http://www.inf.kcl.ac.uk/research/groups/PLANNING/ . According to this new 
website I set up configurations of my computer with operation system Ubuntu 
13.04 and other configurations flex, bison, Gnu C++ 4.7.3(lower version 3.2.3 
has been installed concurrently to get rid of compatibility issues). However, 
when itSIMPLE invoke VAL, the command window in Ubuntu reports errors so that 
the feature validity in itSIMPLE tells ‘not validated’. 
As the instructions of VAL’s website has not been updated for a while and 
version of configuration softwares (like operation, flex, bison, GCC) have not 
been given accurately. Could you tell us how you can use VAL in itSIMPLE 
successfully? What softwares need to be installed? Are flex, bison, GCC enough? 
What is your operation version of Ubuntu and GCC version?

Original issue reported on code.google.com by [email protected] on 17 Mar 2014 at 1:26

[GoogleCodeExporter]

Hello Benedict,

Firstly thanks for posting the issues. 

As you might have noticed itSIMPLE calls VAL and reads its output. I was 
wondering if you have played with VAL4.2.07 in the command line first (without 
itSIMPLE) to see if it is working fine. If that is working, itSIMPLE should be 
able to call it properly. You can also check the permission of the VAL 
execution file (e.g. you can give full permission 'chmod 777 <file_name>' just 
in case). I am currently using Ubuntu 12.04 (gcc version 4.6.3) to run VAL and 
itSIMPLE. 

Please let me know.

Original comment by [email protected] on 31 Mar 2014 at 6:28