Re: Issue with documentation at https://doc.liberty-eiffel.org/

[Paolo Redælli]

Il 10/05/22 22:31, Raphael Mack ha scritto:
> Hi Mischa,
>
> thanks for the notice. The problem is, that "ET" (our automated eiffel 
> tester) is generating the docs on every run from the current HEAD. And 
> since some time (maybe since the last debian upgrade on the server 
> running ET) eiffeldoc fails with n exit code of 137 - which signals an 
> out-of-memory failure.
> eiffeldoc runs normally with the BDW-GC enabled but during the last 
> upgrade also libgc was upgraded and maybe we have some issue here.
>
> As next we could try to run eiffeldoc with the SE-GC or dig into the 
> details why we do not see (good enough) memory cleanup with the BDW.
>
> This might not really help, but at least explain the situation.
On a fairly busy i5 with 8Gb of ram:

[paolo@lab work]$ /usr/bin/time -f "Time %E (%S in kernel, %U in 
usermode)\nMax memory %Mkb\n" ./build_doc.sh
Sections: tutorial liberty wrappers staging smarteiffel libraries
Log is 
/home/paolo/src/liberty-eiffel/website/doc/build_doc-20220511-143201.log
Cleanup
Building
se failed with status 1
Please look at 
/home/paolo/src/liberty-eiffel/website/doc/build_doc-20220511-143202_tutorial.log
se failed with status 1
Please look at 
/home/paolo/src/liberty-eiffel/website/doc/build_doc-20220511-144607_libraries.log

Finished with status 2.

Command exited with non-zero status 2
Time 15:09.78 (75.70 in kernel, 1111.39 in usermode)
Max memory 2569100kb

ldd $(which eiffeldoc) ##tell me that it is using the gc
    libgc.so.1 => /lib64/libgc.so.1 (0x00007f41ef330000)

Eiffeldoc has never been a "slim" tool. I'll try to male more granular 
measurements tonight