diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-04-07 16:17:57 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-06-09 15:38:49 +0200 |
| commit | b9a15a390f34208bd642b0a97a35d32d3b3dfc01 (patch) | |
| tree | d39a172e53d44b6d3da6e353ef6a81df3d453b12 /stm | |
| parent | 715f547816addf3e2e9dc288327fcbcee8c6d47f (diff) | |
New update on how to find camlp5 binary and library at configure time.
Renouncing to bypass the library path given by "camlp5o -where" what
we assume to be the default library location, considering that
-usecamlp5dir is here to deal with the non-standard installation
layout.
Renouncing to find camlp5 libraries in a subdirectory of the ocaml
library directory since we now know that camlp5o is found and that we
have a priori to trust option -where of camlp5o.
Additionally falling back on looking for camlp4 if a camlp5 library is
found but no camlp5 binary. Also using camlp5o as a reference since
after all this is camlp5o that we need.
In particular, this fixes situations where -usecamlp5dir is given but
"camlp5o -where" contradicts it.
If something has to be checked on windows, please tell.
Diffstat (limited to 'stm')
0 files changed, 0 insertions, 0 deletions