Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006097OCamlOCamlbuild (the tool)public2013-07-28 13:342014-08-21 11:45
Assigned To 
PlatformOSOS Version
Product Version4.01.1+dev 
Target VersionFixed in Version 
Summary0006097: Allow user to add new commandline options in the plugin.
DescriptionFor instance user wants to options and tags for the js_of_ocaml compiler.

Then in his (s)he will say (roughly):

let jopts := ref ""
dispatch begin function
| Before_construct_options ->
  add_option ("-jopts", String (fun x -> jopts := !jopts ^ " " ^ x, " js_of_ocaml
| _ -> () end

of course that, and possibility of passing the options to the plugin, make is relatively easy to extend ocamlbuild itself not only with rules but also with new funcionality.

Then we can use the new options like this (hypothetically):

ocamlbuild -popts "-package" -jopts -pretty foo.js

(or use _tags to get the same functionality)
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
dbuenzli (reporter)
2013-07-28 14:11

Do we really care about that ? the -tag option can somehow handle that no ?
meyer (developer)
2013-07-28 14:16

yes, -tag will handle that. On a side note we might just want to get rid of most command line options and turn it to global tags: [^]

what do you think?

- Issue History
Date Modified Username Field Change
2013-07-28 13:34 meyer New Issue
2013-07-28 13:37 meyer Description Updated View Revisions
2013-07-28 14:11 dbuenzli Note Added: 0009932
2013-07-28 14:16 meyer Note Added: 0009933
2014-04-02 16:41 doligez Status new => acknowledged
2014-05-25 20:24 doligez Target Version 4.01.1+dev => 4.02.0+dev
2014-08-21 11:45 doligez Target Version 4.02.0+dev =>

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker