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

0

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 e make , sem a necessidade de executar make novamente?

    
por Theodore Si 08.07.2015 / 15:24

1 resposta

1

Quando você executa o script configure , o Makefile é gerado, o que pode ajudá-lo a compilar seu código-fonte, o que geralmente é feito chamando make e fornece um comando para instalá-lo, que é geralmente feito invocando make install .

Você sempre pode alterar manualmente os makefiles manualmente e alterar o prefixo. Às vezes é fácil quando você tem um projeto simples. Você pode simplesmente alterar a variável prefix no arquivo de criação gerado único e isso deve funcionar. Mas isso nem sempre é o caso. Então, a menos que você saiba o que está acontecendo, sugiro que você reconfigure e recompile e evite dores de cabeça desnecessárias.

    
por 08.07.2015 / 15:53