On Wed, Apr 23, 2008 at 01:34:11PM +0200, Jan Wielemaker wrote:
>
> Added support for --home=DIR to the latest GIT version.
I got it, make some tests, and it looks like it works well with
command line pl, but I couldn't get it to work with java.
Can you confirm me that the following code will initialize
swi-prolog in a good way :
String[] initArgs = new String[] {"pl", "--home=\"/users/stages/noel/Stage/Code/stage/repo/scalogtalk/swipl/\""};
println("a");
jpl.JPL.setDefaultInitArgs(initArgs);
println("b");
if (!jpl.JPL.init()) println("already init");
else println("init");
When I run this kind of code, I get this error :
a
b
[FATAL ERROR:
Saved state has incompatible save version]
It really looks like --home is not used ... But if I call in a
console :
pl --home="/users/stages/noel/Stage/Code/stage/repo/scalogtalk/swipl/"
It works
Thanks,
Victor