make install-headers fails: #INST@21988#': No such file or directory

[Martin Burger]

Hello,

I configured PHP 4.3.11

'./configure' '--prefix=~/php-4.3.11' '--enable-memory-limit'
'--enable-force-cgi-redirect' '--enable-track-vars' '--with-pcre-regex'
'--with-mysql=shared' '--without-mm' '--enable-fastcgi'

and executed "make; make install".

But one of the targets fails:

Installing header files: ~/php-4.3.11/include/php/
cp: cannot create regular file
`/home/mburger/php-4.3.11/include/php/#INST@21988#': No such file or
directory
make: [install-headers] Error 1 (ignored)

Does anybody know why the target "install-headers" fails? The installed
executable "php" works as expected, but phpize fails because it cannot
find the "devel" files.

Regards,
Martin

[Martin Burger]

Re: make install-headers fails: #INST@21988#': No such file or directory

The prefix has to be absolute. Thus, using
"--prefix=/home/mburger/php-4.3.11" it works...