Re: Error during make, second install

Поиск
Список
Период
Сортировка
От Tom Lane
Тема Re: Error during make, second install
Дата
Msg-id 3654075.1595006899@sss.pgh.pa.us
обсуждение исходный текст
Ответ на Re: Error during make, second install  ("David G. Johnston" <david.g.johnston@gmail.com>)
Список pgsql-hackers
"David G. Johnston" <david.g.johnston@gmail.com> writes:
> Sorry for the noise - though maybe some insight is still warranted - but
> running make clean first seems to have cleared up my problem.

Yeah.  Just doing "git pull" and "make" will often fail, because by
default there's nothing guaranteeing that all dependent files are remade.
There are two safe workflows that I know of:

1. Run "make distclean" when pulling an update.  It works a bit cleaner
if you do this before not after "git pull".  If there was no update
of the configure script, you can get away with just "make clean", but
you generally don't know that before pulling ...

2. Always configure with --enable-depend.

I prefer #1, as I find it more reliable.  If you use ccache the
build-speed advantage of #2 is pretty minimal.

In either case, when in doubt, try "git clean -dfx" and rebuild
from scratch.

            regards, tom lane



В списке pgsql-hackers по дате отправления:

Предыдущее
От: Christoph Berg
Дата:
Сообщение: Re: Encoding of src/timezone/tznames/Europe.txt
Следующее
От: Dean Rasheed
Дата:
Сообщение: Re: NaN divided by zero should yield NaN