New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

extended configuration options for plugins #420

Merged
merged 1 commit into from May 5, 2016

Conversation

Projects
None yet
1 participant
@ivg
Member

ivg commented May 4, 2016

This PR allows plugins to specify their own
configuration parameters, ocamlbuild plugins, tags,
and interpolation files.

Details

File oasis/<plugin>.setup.ml.in will be copied to a final setup.ml,
and can contain arbitrary ocaml code that will be executed at
configuration time. A handful shortcuts are provided, e.g.,
add_variable function will add a configuration variable.

File oasis/<plugin>.files.ab.in can contain a list of files, where
substitution will be performed. It can contain variables of the form
$<var> where <var> is one of the variables set in the configuration
time (see setup.data for a full list).

Files oasis/<plugin>.tags.in and oasis/<plugin>.ocamlbuild.ml.in
will end up in _tags and myocamlbuild.ml correspondingly.

Also, all ml files in the configuration suit now contain special
literals, that will allow to jump to a correct places for errors.

extended configuration options for plugins
This PR allows plugins to specify their own
configuration parameters, ocamlbuild plugins, tags,
and interpolation files.

Details
-------

File `oasis/<plugin>.setup.ml.in` will be copied to a final `setup.ml`,
and can contain arbitrary ocaml code that will be executed at
configuration time. A handful shortcuts are provided, e.g.,
`add_variable` function will add a configuration variable.

File `oasis/<plugin>.files.ab.in` can contain a list of files, where
substitution will be performed. It can contain variables of the form
`$<var>` where `<var>` is one of the variables set in the configuration
time (see `setup.data` for a full list).

Files `oasis/<plugin>.tags.in` and `oasis/<plugin>.ocamlbuild.ml.in`
will end up in `_tags` and `myocamlbuild.ml` correspondingly.

Also, all `ml` files in the configuration suit now contain special
literals, that will allow to jump to a correct places for errors.

@ivg ivg merged commit 72a549c into BinaryAnalysisPlatform:master May 5, 2016

1 check passed

continuous-integration/travis-ci/pr The Travis CI build passed
Details

@ivg ivg deleted the ivg:extended-configuration-for-plugins branch Jul 19, 2016

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment