OCaml Forge

Detail: [#972] oasis query: exec name

Feature Requests: Browse | Download .csv | Monitor

[#972] oasis query: exec name

Date:
2011-05-09 22:52
Priority:
3
State:
Open
Submitted by:
Christophe Troestler (chris)
Assigned to:
Sylvain Le Gall (gildor-admin)
Resolution:
None
Due in version:
None
Product:
None
Component:
None
Operating System:
None
 
Summary:
oasis query: exec name

Detailed description
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.

Followup

Message
Date: 2011-05-10 08:39
Sender: Sylvain Le Gall

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).
Date: 2011-05-10 07:43
Sender: Christophe Troestler

Another example:

oasis query docdir

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

Attached Files:

Changes:

Field Old Value Date By
assigned_tonone2011-05-10 08:39gildor-admin