-
POTTIER Francois authored
In the previous version, the redefinition of $(libdir) was ineffective when we were called from opam, which overrides $(libdir) from outside.
16466cac
In the previous version, the redefinition of $(libdir) was ineffective when we were called from opam, which overrides $(libdir) from outside.