Faça ln -s /usr/src/kernels/3.12.6-300.fc20.x86_64 /usr/src/kernels/3.11.10-301.fc20.x86_64 .
Em um novo Dell Inspiron 3521, eu tentei instalar o Linux. A primeira tentativa foi o Ubuntu, mas não conseguiu o WiFi funcionando. Depois de tentar todo tipo de coisas e comandos, alguns erros começaram a aparecer. Eu então instalei o Fedora para verificá-lo e ver se ele pegaria o WiFi. Mas isso também não aconteceu.
Agora, quero instalar alguns drivers que devem corrigi-lo. Eu extraí um tarball. O diretório contém um Makefile, mas quando eu executo o make, o seguinte erro é lançado:
KBUILD_NOPEDANTIC=1 make -C /lib/modules/'uname -r'/build M='pwd'
make: *** /lib/modules/3.11.10-301.fc20.x86_64/build: No such file or directory. Stop.
make: *** [all] Error 2
Agora eu tentei ver se o diretório build existe e funciona, mas como um link simbólico para um diretório que não existe. Aponta para /usr/src/kernels/3.11.10-301.fc20.x86_64 .
No diretório kernels , só tenho 3.12.6-300.fc20.x86_64 .
Pelo menos no fedora 20, isso resolve o problema para mim:
yum -y install kernel-devel-3.11.10-301.fc20.x86_64 kernel-headers-3.11.10-301.fc20.x86_64
Se você for explícito com a instalação do cabeçalho, isso resolve o problema para mim.