While analysing packages using jbuilder, I found that some packages use ${ROOT} to refer to the root of the project. However, this doesn't work as ${ROOT} depends on the workspace configuration. Add ${SCOPE_ROOT} to make this easier for projects with a lot of nested sub-directories. |
||
---|---|---|
.. | ||
github20 | ||
github24 | ||
github25 | ||
js_of_ocaml | ||
lib-available | ||
menhir | ||
misc | ||
redirections |