Ubuntu
matita package

  1. Bug #384758
  2. Comment #2

Comment 2 for bug 384758

Revision history for this message
Morten Kjeldgaard (mok0) wrote :

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.

My rig has 6Gb of RAM. This is weird.