Emmanuel Briot wrote:
>> No. That is what you use "prefix" for. "DESTDIR" is for
>> installing to a different directory than where the files are
>> actually going to be used.
>
> Yes, I know the difference between prefix and DESTDIR.
> But in the case of an absolute path coded in a project, we definitely want
> both ${DESTDIR}${prefix}, since that's the actual path where the library is
> available.
But it isn't where it is going to be used.
I would typically use it by setting "DESTDIR" to
"/tmp/gtkada" and "prefix" to "/usr" when I build the
library, but only to package the library for later use.
When I actually use the library I would copy the package to
"/usr" and not to "/tmp/gtkada/usr".
Greetings,
Jacob
--
»Saving keystrokes is the job of the text editor, not the
programming language.« -- Preben Randhol
_______________________________________________
gtkada mailing list
gtkada@...
http://lists.adacore.com/mailman/listinfo/gtkada
