Maybe you are running out of disk space (or some other filesystem quota). Please ask your admins for help.
On Thu, Oct 5, 2017 at 9:35 AM, Daniel Arndt <daniel.ar...@iwr.uni-heidelberg.de> wrote: > Anna, > > the only other thing I could think of might be a problem with your > dependencies. > Does the problem persist if you try to just build an automatically > configured version from a clean build directory, i.e. > > $ rm -r build > $ mkdir build > $ cd build > $ cmake .. > $ make > > ? > > Best, > Daniel > > -- > The deal.II project is located at > https://urldefense.proofpoint.com/v2/url?u=http-3A__www.dealii.org_&d=DwIBaQ&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=4k7iKXbjGC8LfYxVJJXiaYVu6FRWmEjX38S7JmlS9Vw&m=j8fsO4Jd3xzBvC3pZsZEFLckndfZe5_-suwGQOqxRpo&s=wILp9TcNEgLQSD33AxLoAiTtHdC9U43tn3SsUH6NObc&e= > > For mailing list/forum options, see > https://urldefense.proofpoint.com/v2/url?u=https-3A__groups.google.com_d_forum_dealii-3Fhl-3Den&d=DwIBaQ&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=4k7iKXbjGC8LfYxVJJXiaYVu6FRWmEjX38S7JmlS9Vw&m=j8fsO4Jd3xzBvC3pZsZEFLckndfZe5_-suwGQOqxRpo&s=2-St2Mv9UHAq9rUR-CE9i5c1RPUtJ6QsysPsZd_asM4&e= > > --- > You received this message because you are subscribed to the Google Groups > "deal.II User Group" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to dealii+unsubscr...@googlegroups.com. > For more options, visit > https://urldefense.proofpoint.com/v2/url?u=https-3A__groups.google.com_d_optout&d=DwIBaQ&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=4k7iKXbjGC8LfYxVJJXiaYVu6FRWmEjX38S7JmlS9Vw&m=j8fsO4Jd3xzBvC3pZsZEFLckndfZe5_-suwGQOqxRpo&s=mydJTTdZkIVZCoymZnYZ0FHgczbSPW4WpBQLHzBnXn0&e= > . -- Timo Heister http://www.math.clemson.edu/~heister/ -- The deal.II project is located at http://www.dealii.org/ For mailing list/forum options, see https://groups.google.com/d/forum/dealii?hl=en --- You received this message because you are subscribed to the Google Groups "deal.II User Group" group. To unsubscribe from this group and stop receiving emails from it, send an email to dealii+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
