Re: [Bug-glpk] (Not) installing headers in $(oldincludedir)

[Andrew Makhorin]

Dear Alexandre,

Thank you very much for your advice.

`makefile' copies headers into both `includedir' and `oldincludedir'
because GNU Coding Standards require that:

 Most compilers other than GCC do not look for header files in
 directory `/usr/local/include'.  So installing the header files
 this way is only useful with GCC.  Sometimes this is not a problem
 because some libraries are only really intended to work with GCC.
 But some libraries are intended to work with other compilers.
 They should install their header files in two places, one
 specified by `includedir' and one specified by `oldincludedir'.

However, I don't understand this phrase completely, i.e. whether
`other compilers' means `other C compilers' or `compilers for other
languages'.

I tried to use `-' (minus sign) prefix, which allows to skip commands
that return non-zero code, in order to continue making in case when
`oldincludedir' is not available for writing. But this feature doesn't
work being specified as a part of `for' command. I will try the patch
you sent me.

Best regards,

Andrew Makhorin,
the author and maintainer of GLPK