doclog icon indicating copy to clipboard operation
doclog copied to clipboard

error_running_doclog.

Open triska opened this issue 1 year ago • 5 comments

I followed the steps in the documentation, and also adjusted the configuration file, and now I get:

$ bash doclog.sh scryer.config.pl 
doclog(1,1,0).
error_running_doclog.

triska avatar Feb 22 '24 19:02 triska

The output folder must not exist (make clean). Also, check if you have the latest dependencies (make setup).

aarroyoc avatar Feb 23 '24 16:02 aarroyoc

I have done make setup, and no output folder exists yet, and I still get the same problem. This is from a freshly cloned repository. May I suggest emitting more information about why an error arises? Could an exception be shown? Thank you a lot!

triska avatar Feb 23 '24 21:02 triska

I think one reason is that I have temporary files in the lib directory, these are created by Emacs when editing files:

all:user:path_segments(A,[[],"home","markus","scryer-prolog","src","lib",".","a.pl~"]).
exit:user:path_segments("/home/markus/scryer-prolog/src/lib/./a.pl~",[[],"home","markus","scryer-prolog","src","lib",".","a.pl~"]).
call:user:directory_exists("/home/markus/scryer-prolog/src/lib/./a.pl~").

triska avatar Feb 24 '24 07:02 triska

The same issue for the .ediprolog file that exists in the library path:

call:user:directory_exists("/home/markus/scryer-prolog/src/lib/./.ediprolog").

Maybe doclog can be made more robust against such files? I think it cauld suffice to process only *.pl files.

triska avatar Feb 24 '24 07:02 triska

Yes, those are good points. File handling in DocLog was an afterthought and it can be improved a lot. I'll keep this issue open until I fix it.

aarroyoc avatar Feb 26 '24 21:02 aarroyoc