Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004671OCamlOCaml generalpublic2008-12-14 22:252015-01-23 12:48
Assigned To 
PlatformOSOS Version
Product Version3.11.0+beta 
Target VersionFixed in Version 
Summary0004671: Patch to add "Rest" option to ocaml toplevel
DescriptionIt would be useful to be able to pass command line options to
libraries linked into the ocaml toplevel. Attached is a patch to add
the Arg.Rest option '--' to the ocaml toplevel and function
Toploop.get_cli_strings to get the strings after the -- option.
Additional InformationExample usage:
> ocaml -I +camlp4 -- other options
# Toploop.get_cli_strings();;
- : string list = ["other"; "options"]

Patch is against CVS head
Attached Filesgz file icon cli_args.tar.gz [^] (1,639 bytes) 2008-12-14 22:25

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2008-12-14 22:25 mwahab New Issue
2008-12-14 22:25 mwahab File Added: cli_args.tar.gz
2008-12-23 13:59 doligez Status new => acknowledged
2013-09-04 18:07 doligez Tag Attached: patch

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker