Is it:
(1) mixed path?
====
directory = "d:/a/camlp5/camlp5/local-install/lib/camlp5"
====
or (2) Windows path?
====
directory = "D:\a\camlp5\camlp5\_opam\lib\camlp5"
====
??
Is it:
(1) mixed path?
====
directory = "d:/a/camlp5/camlp5/local-install/lib/camlp5"
====
or (2) Windows path?
====
directory = "D:\a\camlp5\camlp5\_opam\lib\camlp5"
====
??
Both are likely to work, however you will need to escape the backslashes in the second one.
Incidentally, using absolute paths in directory
strikes me as unusual; relative paths are generally advisable, I think (better relocatability, easier to generate, etc).
Cheers,
Nicolas
Ah yes, I had forgotten about this. Thank you for reminding me!
Though, a friend did a grep of a large number of installed packages on WIndows, and it seems like none of them have absolute directory entries. It appears I was mistaken in my original assumption over a decade ago, that the directory entry was necessary: it seems only useful for navigation -within- the package directory.
ETA: just as you say, absolute entries seem inadvisable.