diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-10-25 15:24:43 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-10-26 20:05:41 +0100 |
| commit | 7bf9bbe2968802b48230d35d34c585201ee9e9b4 (patch) | |
| tree | 34b1a526c4732cbb9d6194dd9b56b33ea584518f /library/lib.ml | |
| parent | 032f1a4ba8b5655b4f2396671061613aa8e2cf48 (diff) | |
Seeing configure as a static resolution of path, hence hardwiring long
paths for ocaml* executables in the generated config/Makefile.
Hoping I'm not doing something wrong. E.g., I don't see why it would
not be ok for windows or macosx too, since e.g. camlp5o was already
with a full path.
Diffstat (limited to 'library/lib.ml')
0 files changed, 0 insertions, 0 deletions