Perguntas sobre 'make'

Tags
Make é um utilitário que constrói automaticamente programas e bibliotecas executáveis a partir do código-fonte, lendo arquivos chamados makefiles que especificam como derivar o programa alvo.
2
respostas

Obtendo o erro: make: *** /lib/modules/2.6.31-20-generic/build: Nenhum arquivo ou diretório no Ubuntu 9.1

Ao tentar instalar o driver da minha placa WiFi no Ubuntu 9.1, eu corro o comando make e obtenho o seguinte erro: make: *** /lib/modules/2.6.31-20-generic/build: No such file or directory Alguma idéia de como corrigir isso?     
09.05.2010 / 23:26
1
resposta

faz erro de instalação ao compilar um programa com cuda

Eu estou tentando compilar ESTE programa para o meu sistema Ubuntu usando a fonte mestra. Eu instalei os drivers AMDGPU-PRO e os drivers AMD 3.0 SDK via instale instruções no site da AMD. Eu também instalei o kit de ferramentas CUDA des...
13.12.2017 / 01:04
1
resposta

Como alterar as regras incorporadas

Gostaria de saber se existe uma maneira de alterar as regras aplicadas automaticamente pelo make quando não há makefile. Para dar um exemplo, se você escrever make foo em um diretório contendo um arquivo chamado foo.cpp , ele executa %códig...
03.10.2017 / 14:45
1
resposta

O 'make' tira proveito de múltiplos núcleos / threads? (linux)

Estamos considerando uma nova estação de trabalho (estará rodando o Fedora 25/26), e gostaríamos de saber o que uma boa CPU seria. Para começar, preciso saber quantos núcleos preciso. Para ajudar a decidir isso, eu quero ver como uma das aplicaç...
09.05.2017 / 23:23
1
resposta

Makefile falha quando CygWin no caminho

Estou tentando descobrir por que um comando simples do Windows no makefile falha somente quando a pasta binária CygWin é incluída na variável PATH. Para tirar a maioria das variáveis da equação, estou usando o makefile barebone abaixo: c...
09.01.2017 / 21:12
2
respostas

ssh Autenticação do teclado: quando inserir o código do Google Authenticator

Estas perguntas parecem relacionadas: Teclado interativo de autenticação do Duo (Sem resposta). link (Bug. Meu sistema está ativo até à data.) Acredito que minhas circunstâncias são diferentes o suficiente para iniciar um novo tópic...
10.01.2017 / 23:26
1
resposta

Executando comandos com script dentro de um makefile (make do Linux)

Eu lutei com isso durante a maior parte da noite passada. Desejo renomear todos os arquivos xxxx-yyyy para xxxx:yyyy em uma pasta de um makefile. Eu tenho um renamefiles.sh que faz o trabalho bem: #!/bin/sh for i in $i do e...
10.10.2016 / 10:59
1
resposta

openvpn --show-pkcs11-ids parâmetro ausente

Quando tento executar este comando: sudo openvpn --show-pkcs11-ids /usr/lib/libeTPkcs11.so Eu recebo erro: Options error: Unrecognized option or missing parameter(s) in [CMD-LINE]:1: show-pkcs11-ids (2.3.2) Use --help for more informat...
05.06.2016 / 12:47
1
resposta

É possível alterar o prefixo após o make?

Nós todos sabemos que $./configure --prefix=$SOME_DIR $ make $ sudo make install pode instalar bin , lib em $ SOME_DIR. No entanto, gostaria de saber se posso alterar o prefixo do diretório de instalação depois de executar configure...
08.07.2015 / 15:24
1
resposta

Erro ao compilar o gcc no Raspberry Pi (Raspbian): erro make: *** [bootstrap]

Estou tentando compilar a versão gcc 2.95.3 no raspbian, eu preciso dela para compilar o kernel 2.6. Estou seguindo este tutorial , mas quando chego ao passo de bootstrapping, recebo make[1]: Entering directory '/home/pi/Desktop/gcc2/gcc-...
31.05.2014 / 17:56