c-object linked to extension isn’t installed but shows up in installed-files in the egg-info file

[Kooda]

Minimal egg file that shows the behavior

((components (c-object coucou)
             (extension bliblibli
                        (objects coucou))))

Outputs in install.sh:

#!/bin/sh

set -e
cd '/my/mess/2019/12/test'

mkdir -p ${DESTDIR}'/home/kooda/coop/master-trace/lib/chicken/10'
install -m 644 '/my/mess/2019/12/test/bliblibli.static.a' ${DESTDIR}'/home/kooda/coop/master-trace/lib/chicken/10/bliblibli.a'
install -m 644 '/my/mess/2019/12/test/bliblibli.link' ${DESTDIR}'/home/kooda/coop/master-trace/lib/chicken/10/bliblibli.link'

mkdir -p ${DESTDIR}'/home/kooda/coop/master-trace/lib/chicken/10'
rm -f ${DESTDIR}'/home/kooda/coop/master-trace/lib/chicken/10/bliblibli.so'
install -m 755 '/my/mess/2019/12/test/bliblibli.so' ${DESTDIR}'/home/kooda/coop/master-trace/lib/chicken/10/bliblibli.so'

mkdir -p ${DESTDIR}'/home/kooda/coop/master-trace/lib/chicken/10'
rm -f ${DESTDIR}'/home/kooda/coop/master-trace/lib/chicken/10/bliblibli.import.so'
install -m 755 '/my/mess/2019/12/test/bliblibli.import.so' ${DESTDIR}'/home/kooda/coop/master-trace/lib/chicken/10/bliblibli.import.so'

mkdir -p ${DESTDIR}'/home/kooda/coop/master-trace/lib/chicken/10'
rm -f ${DESTDIR}'/home/kooda/coop/master-trace/lib/chicken/10/test.egg-info'
cat >${DESTDIR}'/home/kooda/coop/master-trace/lib/chicken/10/test.egg-info' <<ENDINFO
((installed-files
   "/home/kooda/coop/master-trace/lib/chicken/10/coucou.o"
   "/home/kooda/coop/master-trace/lib/chicken/10/bliblibli.a"
   "/home/kooda/coop/master-trace/lib/chicken/10/bliblibli.link"
   "/home/kooda/coop/master-trace/lib/chicken/10/bliblibli.so"
   "/home/kooda/coop/master-trace/lib/chicken/10/bliblibli.import.so")
 (components (c-object coucou) (extension bliblibli (objects coucou))))
ENDINFO

You can see that coucou.o is not installed, but shows up in installed-files.

I haven’t made a patch yet because I’m not sure what the correct behavior should be. My guess would be to not install the .o file (since it’s added to the archive) and leave it out of installed-files.