Am 4. April 2023 um 15:54 schrieb "Guillaume Le Vaillant" <g...@posteo.net>:
>
> skribis:
> eisb...@tilde.team
>
> >
> > Thanks a lot for your reply. Your example did not work on my machine. I
> > adjusted my config.scm as you said but the guix systemc reconfigure did not
> > run through...
> >
> > ========================
> >
> > error in
> > /var/log/guix/drvs/jr/88fpnzh0kc7w7vwjz78b501sdy2jcg-linux-libre-6.1.15.drv.gz
> >
> > ========================
> >
> > [...]
> >
> > error: in phase 'configure': uncaught exception:
> >
> > misc-error #f "~A ~S" ("Mismatching configurations in .config and
> > arch/x86/configs/guix_defconfig" (("CONFIG_DEBUG_INFO" (#f "y")))) #f
> >
> > phase `configure' failed after 14.2 seconds
> >
> > Backtrace:
> >
> > 8 (primitive-load "/gnu/store/a2kzfabrb2qrj85xq5z8fnkg9z5…")
> >
> > In guix/build/gnu-build-system.scm:
> >
> > 906:2 7 (gnu-build #:source _ #:outputs _ #:inputs _ #:phases . #)
> >
> > In ice-9/boot-9.scm:
> >
> > 1752:10 6 (with-exception-handler _ _ #:unwind? _ # _)
> >
> > In srfi/srfi-1.scm:
> >
> > 634:9 5 (for-each #<procedure 7ffff6107740 at guix/build/gnu-b…> …)
> >
> > In ice-9/boot-9.scm:
> >
> > 1752:10 4 (with-exception-handler _ _ #:unwind? _ # _)
> >
> > In guix/build/gnu-build-system.scm:
> >
> > 927:23 3 (_)
> >
> > In guix/build/kconfig.scm:
> >
> > 174:6 2 (verify-config ".config" "arch/x86/configs/guix_defconf…")
> >
> > In ice-9/boot-9.scm:
> >
> > 1685:16 1 (raise-exception _ #:continuable? _)
> >
> > 1685:16 0 (raise-exception _ #:continuable? _)
> >
> > ice-9/boot-9.scm:1685:16: In procedure raise-exception:
> >
> > Mismatching configurations in .config and arch/x86/configs/guix_defconfig
> > (("CONFIG_DEBUG_INFO" (#f "y")))
> >
>
> Hi.
>
> Using the 'customize-linux' function with the '#:configs' keyword just
>
> adds the specified options to the config file. In this case it
>
> looks like there are other options in the config file that are not
>
> compatible with the added CONFIG_DEBUG_INFO option.
>
> So I think you will have to make a kernel config file with the options
>
> you want using a regular kernel configurator (e.g. "make menuconfig",
>
> "make xconfig" etc in the kernel source tree). Then you should be able
>
> to use this custom config file with the '#:defconfig' keyword:
>
> --8<---------------cut here---------------start------------->8---
>
> (define linux-libre-debug
>
> (customize-linux #:linux linux-libre
>
> #:defconfig (local-file "/path/to/custom/config")))
>
> (operating-system
>
> (kernel linux-libre-debug)
>
> ...)
>
> --8<---------------cut here---------------end--------------->8---
>
Ok. Thank you! That worked. At least it compiles now... However I happen to get
the following error during the compilation process:
====================
zcat
/var/log/guix/drvs/1l/3q5c3d89fv3dibynv55v3jqa4cdmxl-linux-libre-6.2.9.drv.gz
====================
AR arch/x86/pci/built-in.a
CC arch/x86/power/cpu.o
CC arch/x86/power/hibernate_64.o
AS arch/x86/power/hibernate_asm_64.o
CC arch/x86/power/hibernate.o
AR arch/x86/power/built-in.a
AR built-in.a
AR vmlinux.a
LD vmlinux.o
make[1]: *** [scripts/Makefile.vmlinux_o:61: vmlinux.o] Error 137
make[1]: *** Deleting file 'vmlinux.o'
make: *** [Makefile:1245: vmlinux_o] Error 2
error: in phase 'build': uncaught exception:
%exception #<&invoke-error program: "make" arguments: ("-j" "1") exit-status: 2
term-signal: #f stop-signal: #f>
phase `build' failed after 1951.1 seconds
command "make" "-j" "1" failed with status 2
