I still get FTBFS on the patched package. The build fails with a very strange error:
matitac demo/power_derivative.ma OK 0m08.60s 0m04.79s 0m00.05s
mv: cannot move `/dev/shm/matita.db.builder._build_mok-matita_0_5_7-2ubuntu1-amd64-j0N5Mn_matita-0_5_7-2ubuntu1_debian_tmp___usr_share_matita__matita.26767' to `/build/mok-matita_0.5.7-2ubuntu1-amd64-j0N5Mn/matita-0.5.7-2ubuntu1/debian/tmp///usr/share/matita/.matita/user.db': No such file or directory
destroy
Fatal error: out of memory.
I still get FTBFS on the patched package. The build fails with a very strange error:
matitac demo/power_ derivative. ma OK 0m08.60s 0m04.79s 0m00.05s matita. db.builder. _build_ mok-matita_ 0_5_7-2ubuntu1- amd64-j0N5Mn_ matita- 0_5_7-2ubuntu1_ debian_ tmp___usr_ share_matita_ _matita. 26767' to `/build/ mok-matita_ 0.5.7-2ubuntu1- amd64-j0N5Mn/ matita- 0.5.7-2ubuntu1/ debian/ tmp///usr/ share/matita/ .matita/ user.db' : No such file or directory
mv: cannot move `/dev/shm/
destroy
Fatal error: out of memory.
My rig has 6Gb of RAM. This is weird.