You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Some metadata like the version of OASIS used to generate setup.ml are only available when running setup.ml.
It would be more useful to have structured data that can be extracted using a simple function from the oasis library:
Example:
setup.ml
(* OASIS_START )
( DO NOT EDIT (digest: 9cd2631a11ff0b2f83c006d35d7a5709) )
(
Regenerated by OASIS v0.4.7
Visit http://oasis.forge.ocamlcore.org for more information and
documentation about functions used in this file.
This feature request has been migrated from artifact #1715 on forge.ocamlcore.org. It was assigned to user100.
user102 posted on 2016-12-09 09:47:06:
Some metadata like the version of OASIS used to generate setup.ml are only available when running setup.ml.
It would be more useful to have structured data that can be extracted using a simple function from the oasis library:
Example:
OASISVersion: 0.4.7 RegenerationDate: 2016-12-06T10:00:00+02:00 ... *)setup.ml
(* OASIS_START )
( DO NOT EDIT (digest: 9cd2631a11ff0b2f83c006d35d7a5709) )
(
Regenerated by OASIS v0.4.7
Visit http://oasis.forge.ocamlcore.org for more information and
documentation about functions used in this file.
OASISSetup.Metadata.OASISVersion t -> 0.4.7
user102 replied on 2016-12-09 12:48:57:
Use in oasis2opam to get version.
The text was updated successfully, but these errors were encountered: