oasis query: exec name

[gildor478]

This feature request has been migrated from artifact #972 on forge.ocamlcore.org. It was assigned to user102.

user144 posted on 2011-05-09 22:52:22:

In order to use the information elsewhere, it would be nice to be able to query for names constructed by OASIS which may be platform dependent. For example

Executable(exec_name).exec

would return the path to the compiled executable.

user144 replied on 2011-05-10 07:43:02:

Another example:

oasis query docdir

and the other installation directories (useful, for example, to choose a default dir to search for cmxs...)

user102 replied on 2011-05-10 08:39:46:

This kind of variable are stored in setup.data/setup.log, which are not always accessible. The subcommand query was made to query the content of _oasis.

But it makes sense to be able to also query setup.data and setup.log. I will try to find a way to integrate them in a version to come.

The current workaround is probably a sed/awk that read setup.data and setup.log (variables will be extracted from these files anyway).