Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

Re: 'make install' fails when build directory is differnet from that of source tree.

X-seq: zsh-workers 45945
From: Yasuhiro KIMURA <yasu@xxxxxxxxxxx>
To: zsh-workers@xxxxxxx
Subject: Re: 'make install' fails when build directory is differnet from that of source tree.
Date: Sun, 31 May 2020 14:36:26 +0900 (JST)
In-reply-to: <20200531013919.14b9899f@tarpaulin.shahaf.local2>
List-help: <mailto:zsh-workers-help@zsh.org>
List-id: Zsh Workers List <zsh-workers.zsh.org>
List-post: <mailto:zsh-workers@zsh.org>
List-unsubscribe: <mailto:zsh-workers-unsubscribe@zsh.org>
Mailing-list: contact zsh-workers-help@xxxxxxx; run by ezmlm
References: <20200529225401.640a2b75@tarpaulin.shahaf.local2> <20200530.180516.365810412746058204.yasu@utahime.org> <20200531013919.14b9899f@tarpaulin.shahaf.local2>

From: Daniel Shahaf <d.s@xxxxxxxxxxxxxxxxxx>
Subject: Re: 'make install' fails when build directory is differnet from that of source tree.
Date: Sun, 31 May 2020 01:39:19 +0000

> The revised patch attached should resolve this, too.

I tried new patch and confirmed that now in each case 'make install'
succeeds and './configure' doesn't complain anything.

> I'll reply to the third issue separately.

As for 3rd issue I'm still testing. So I also will report the result
separately.

---
Yasuhiro KIMURA

References:
- Re: 'make install' fails when build directory is differnet from that of source tree.
  - From: Daniel Shahaf
- Re: 'make install' fails when build directory is differnet from that of source tree.
  - From: Yasuhiro KIMURA
- Re: 'make install' fails when build directory is differnet from that of source tree.
  - From: Daniel Shahaf

Messages sorted by: Reverse Date, Date, Thread, Author