On Wednesday, December 14, 2016 at 4:02:31 PM UTC-7, Foppe de Haan wrote: > On Wednesday, December 14, 2016 at 11:19:45 PM UTC+1, rtia...@gmail.com wrote: > > On Wednesday, December 14, 2016 at 2:22:57 PM UTC-7, Foppe de Haan wrote: > > > > > Thanks. When building this in d9-t, I get 'recipe failed' "Error 2" > > > pretty soon after starting the build process. No idea why, as there is no > > > log, and I don't see an option to provide one (or to provide verbose > > > output). > > > > Hmm, I haven't had time to try it under Debian 9 yet and might not for a > > while. > > > > In the meantime, peeking at their build script, what you can try to do > > (haven't tried it myself though) is to comment out the spinner code around > > the build_kernel part and the '> /dev/null 2>&1' part in the build.sh file > > and perhaps that would throw the verbose compile output to the terminal to > > give some hints on where or why it fails. > > > > So find this section in build.sh: > > > > start_spinner "Building coldkernel..." > > build_kernel > /dev/null 2>&1 > > stop_spinner $? > > > > And change it to be > > > > build_kernel > > > > and try to compile (make qubes-guest) again. If the output isn't enough to > > give any hints, you may need to run 'make clean' to get rid of anything > > that was pre-compiled and to start again from scratch. > > Thanks for that hint. Seems there was an issue with gcc not supporting > plugins, even though supposedly all the required packages were installed and > updated. Worked around it, it's building now.
Glad to hear. For future reference, what exactly did you have to do? Was it sudo apt install gcc-6-plugin-dev or something else? -- You received this message because you are subscribed to the Google Groups "qubes-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to qubes-users+unsubscr...@googlegroups.com. To post to this group, send email to qubes-users@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/qubes-users/1ac615ae-49fd-4f63-a96b-4ead808b5dad%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.