Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: [Caml-list] ocamlmktop and includes
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: David Gurr <gurr@m...>
Subject: Re: [Caml-list] ocamlmktop and includes
Hi,  That is what I though at first.  But I think this is not fully
what he wishes.  Dynlink.add_available_units makes digests available to
the dynlinker but it does not make the persistent structures (cmi's)
available to the compiler in the toplevel environment.  One could argue
that ocmalmktop should embed both the cmo's and their cmi's  in such a
way that the cmi's would be added to the initial env of the custom
toplevel.  -D

> From owner-caml-list@pauillac.inria.fr Mon Apr 30 18:11:29 2001
> From: Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp>
> To: patrick@watson.org
> Cc: caml-list@inria.fr
> X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
> Subject: Re: [Caml-list] ocamlmktop and includes
> Mime-Version: 1.0
> Content-Transfer-Encoding: 7bit
> Date: Tue, 01 May 2001 10:05:37 +0900
> X-Dispatcher: imput version 20000228(IM140)
> 
> From: Patrick M Doane <patrick@watson.org>
> 
> > Alternatively, it would be really nice to make stand-alone byte code
> > interpreters which have the .cmo files builtin.
> 
> If you just need a custome bytecode interpreter, that's not (too)
> difficult.
> The idea is to use the Dynlink module:
> Just build a custom executable, including all the libraries you need,
> and registering the modules you want to use with
> Dynlink.add_available_units. This function takes the unit name, and a
> CRC (in fact a MD5) for the .cmi, which you can get with
> lib/ocaml/extract_crc. This way you don't need neither the .cma nor
> the .cmi's for your libraries.
> The your program will load all .cmo or .cma given on the command line,
> using Dynlink.loadfile.
> I join an exemple of such a bytecode interpreter including plenty of
> libraries. (The CRC's are not up to date)
> 
> Cute, no?
> There is a small pitfall: you can only make available an interface
> when there is an implementation. So if you have pure interfaces (a .cmi
> but no .cmo), you have to copy the the .mli to .ml, and compile it,
> to get an empty implementation matching the .cmi.
> 
> Hope this helps,
> 
> Jacques Garrigue
> 
> (* Link with everything. Compile with:
>    ocamlc -I +labltk -o ocamlloader -linkall dynlink.cma unix.cma dbm.cma \
>        str.cma nums.cma labltk.cma stdclass.cma crcs.ml
>    To get all crcs in one directory:
> 	extract_crc `\ls *.cmi | sed "s/.cmi//" | capitalize`
> *)
> 
> let crc_unit_list = [
>   "Arg",
>     "\132\241\139\095\018\209\141\180\176\082\093\079\208\235\049\083";
>   "Arith_status",
>     "\089\253\033\080\043\135\175\127\166\158\179\030\223\236\054\166";
>   "Array",
>     "\146\022\203\069\253\093\134\037\233\194\070\176\050\248\097\172";
>   "Big_int",
>     "\243\042\214\129\099\114\179\135\162\146\175\227\015\202\143\160";
>   "Callback",
>     "\213\119\018\062\250\024\055\143\129\161\094\222\057\023\146\248";
>   "Char",
>     "\184\168\151\226\206\081\149\197\060\011\054\064\207\150\178\138";
>   "Dbm",
>     "\224\114\137\160\060\165\253\220\099\067\179\255\250\145\095\153";
>   "Digest",
>     "\132\054\239\158\106\045\248\017\082\204\225\229\020\063\091\254";
>   "Dynlink",
>     "\135\180\176\101\073\127\073\073\127\151\142\161\067\053\021\073";
>   "Filename",
>     "\097\078\243\010\046\199\169\212\199\183\242\067\050\043\255\112";
>   "Format",
>     "\255\061\006\074\141\083\248\109\242\099\050\153\088\097\166\055";
>   "Gc",
>     "\089\227\107\050\058\044\003\036\239\188\130\047\116\033\090\028";
>   "Genlex",
>     "\179\252\157\000\199\039\171\234\006\063\191\135\168\067\016\174";
>   "Graphics",
>     "\205\233\013\180\028\114\139\004\004\109\049\042\182\126\001\137";
>   "Hashtbl",
>     "\069\196\160\110\103\090\223\223\129\219\190\170\014\091\012\007";
>   "Lazy",
>     "\079\216\032\236\211\038\005\010\162\001\239\179\109\114\117\147";
>   "Lexing",
>     "\182\088\003\040\254\005\244\149\087\093\237\123\178\173\001\112";
>   "List",
>     "\034\235\035\108\154\120\077\156\180\011\013\141\063\152\055\055";
>   "Map",
>     "\112\213\080\192\236\152\247\119\049\174\106\154\198\248\038\243";
>   "Marshal",
>     "\212\185\081\165\100\136\097\073\164\142\082\147\055\242\088\149";
>   "Nat",
>     "\015\202\018\039\135\054\224\200\222\013\194\080\165\243\250\146";
>   "Num",
>     "\243\243\021\151\036\013\082\157\233\216\151\178\043\006\159\056";
>   "Obj",
>     "\194\237\101\179\047\114\046\161\072\117\212\196\008\083\213\072";
>   "Oformat",
>     "\040\190\172\213\155\053\141\220\205\093\073\042\228\252\159\179";
>   "Ogenlex",
>     "\248\206\017\001\181\044\188\030\052\115\066\169\211\058\231\051";
>   "Ohashtbl",
>     "\211\072\131\214\164\212\100\103\164\246\170\106\196\007\157\180";
>   "Omap",
>     "\052\094\138\008\100\038\194\008\000\094\175\065\019\178\109\103";
>   "Omapping",
>     "\225\081\091\064\046\201\022\178\088\089\230\124\177\109\178\248";
>   "Oo",
>     "\253\246\076\227\151\115\217\141\048\042\155\159\061\051\168\158";
>   "Oqueue",
>     "\147\020\229\095\046\075\213\196\181\031\216\209\074\236\217\075";
>   "Oset",
>     "\056\213\244\036\127\109\042\098\080\098\130\063\120\114\043\084";
>   "Ostack",
>     "\173\008\203\219\123\041\247\255\037\148\016\143\155\023\020\021";
>   "Ostream",
>     "\105\211\112\045\064\001\225\086\221\013\086\221\012\174\011\188";
>   "Parsing",
>     "\238\091\167\164\087\104\115\231\007\133\009\041\001\020\238\217";
>   "Pervasives",
>     "\081\190\153\116\206\164\208\178\173\067\134\249\076\133\233\089";
>   "Printexc",
>     "\068\225\231\087\144\035\057\101\195\150\166\074\076\076\191\093";
>   "Printf",
>     "\114\086\103\091\204\204\191\201\249\027\107\015\067\094\248\184";
>   "Profiling",
>     "\124\209\206\043\202\119\097\026\229\151\251\185\190\080\244\189";
>   "Queue",
>     "\106\035\239\245\185\045\075\131\162\053\038\054\070\007\103\098";
>   "Random",
>     "\225\240\003\163\080\059\165\202\076\018\224\180\160\191\100\140";
>   "Ratio",
>     "\176\030\022\221\242\249\175\107\233\038\141\239\208\245\187\163";
>   "Set",
>     "\241\198\021\016\215\179\209\129\251\204\237\117\232\142\136\012";
>   "Sort",
>     "\042\013\126\242\024\204\017\183\155\004\123\201\200\197\152\248";
>   "Stack",
>     "\035\108\042\081\047\041\088\231\118\222\233\248\184\053\215\118";
>   "Std_exit",
>     "\167\124\048\151\124\056\054\043\214\131\251\242\175\132\166\243";
>   "Str",
>     "\135\231\101\157\048\245\001\093\024\242\163\178\065\016\157\020";
>   "Stream",
>     "\068\127\097\226\098\205\064\112\082\037\105\079\236\126\121\046";
>   "String",
>     "\013\045\050\104\222\055\220\090\092\179\113\181\072\212\082\012";
>   "Sys",
>     "\041\089\246\208\014\005\096\240\061\077\000\157\239\193\241\111";
>   "Topdirs",
>     "\164\224\058\210\062\157\159\029\044\254\058\220\097\244\177\215";
>   "Toploop",
>     "\038\007\001\223\104\189\070\057\057\062\213\241\225\121\132\111";
>   "Unix",
>     "\100\176\025\054\154\219\152\081\252\126\095\147\016\069\153\070";
>   "Weak",
>     "\180\180\008\001\065\221\239\201\173\053\038\214\000\202\187\083";
>   "Balloon",
>     "\064\130\212\209\166\007\028\236\137\067\132\239\066\078\240\172";
>   "Bell",
>     "\017\183\096\172\169\146\009\071\065\080\067\231\011\088\184\145";
>   "Button",
>     "\228\106\173\140\076\048\063\055\228\010\106\073\000\157\054\103";
>   "Canvas",
>     "\018\123\213\204\031\021\012\106\218\240\020\003\047\011\035\087";
>   "Checkbutton",
>     "\082\050\250\035\240\200\013\191\168\107\238\089\104\206\068\016";
>   "Clipboard",
>     "\090\120\177\182\099\141\025\169\233\251\040\153\164\102\200\130";
>   "Dialog",
>     "\215\111\103\076\009\164\108\208\046\222\025\113\144\254\041\203";
>   "Entry",
>     "\090\241\159\056\214\250\171\107\145\014\042\143\189\248\093\132";
>   "Fileevent",
>     "\213\136\118\001\080\039\117\214\196\120\102\112\248\216\253\214";
>   "Fileselect",
>     "\016\042\091\024\048\222\255\072\189\205\042\141\195\173\019\025";
>   "Focus",
>     "\079\179\218\046\103\199\007\028\007\246\146\207\009\087\240\231";
>   "Frame",
>     "\067\222\053\008\203\055\121\013\189\206\219\142\169\160\211\056";
>   "Grab",
>     "\217\048\223\133\044\123\178\056\118\115\241\142\119\238\094\049";
>   "Grid",
>     "\123\214\154\096\213\037\019\209\194\242\049\062\059\087\089\127";
>   "Imagebitmap",
>     "\205\003\180\038\057\077\191\153\202\132\122\003\161\154\245\180";
>   "Imagephoto",
>     "\132\186\156\150\254\168\050\097\146\249\159\173\214\194\163\248";
>   "Label",
>     "\030\162\169\108\217\134\207\143\097\007\015\088\009\047\168\112";
>   "Listbox",
>     "\255\091\065\145\151\247\020\103\234\034\115\204\014\247\202\243";
>   "Menu",
>     "\133\213\100\249\249\029\073\255\154\030\187\015\067\024\214\010";
>   "Menubutton",
>     "\215\155\194\167\196\152\066\013\148\035\062\095\181\076\152\042";
>   "Message",
>     "\137\228\064\194\061\220\048\156\177\194\193\218\153\105\245\029";
>   "Option",
>     "\002\048\023\081\052\014\221\032\078\004\079\127\008\153\241\127";
>   "Optionmenu",
>     "\132\032\144\168\045\172\052\110\234\147\145\036\125\098\105\014";
>   "Pack",
>     "\007\057\162\105\211\180\208\132\037\061\148\070\011\171\207\128";
>   "Palette",
>     "\014\068\206\100\061\249\187\150\248\168\052\127\235\171\003\030";
>   "Place",
>     "\074\007\070\132\132\124\203\041\177\117\118\129\064\169\207\006";
>   "Protocol",
>     "\044\093\149\050\026\194\067\214\011\224\026\017\085\193\231\100";
>   "Radiobutton",
>     "\128\129\131\210\169\194\242\058\141\128\163\033\133\192\094\120";
>   "Scale",
>     "\227\078\017\132\154\090\007\086\144\195\166\055\233\180\183\131";
>   "Scrollbar",
>     "\177\242\191\174\051\150\159\225\108\101\233\010\112\084\057\216";
>   "Selection",
>     "\173\172\218\213\029\036\130\012\033\235\031\238\076\067\219\017";
>   "Support",
>     "\159\177\172\212\190\133\232\032\192\082\170\250\049\082\063\184";
>   "Text",
>     "\027\143\132\012\023\218\179\073\003\002\081\199\183\010\107\161";
>   "Textvariable",
>     "\172\029\217\109\207\144\254\185\068\049\028\090\224\087\177\139";
>   "Timer",
>     "\168\141\189\094\081\187\049\026\012\239\025\071\220\014\024\188";
>   "Tk",
>     "\155\008\032\103\156\245\158\235\161\052\121\080\091\119\211\242";
>   "Tkwait",
>     "\221\238\138\104\160\070\189\107\092\058\048\098\052\137\127\153";
>   "Toplevel",
>     "\091\097\016\210\132\101\149\002\036\075\240\001\240\192\132\178";
>   "Widget",
>     "\049\215\061\172\124\063\244\113\107\137\123\208\197\169\136\037";
>   "Winfo",
>     "\020\023\187\002\192\057\213\009\192\237\092\046\228\130\021\142";
>   "Wm",
>     "\169\231\071\215\217\053\030\124\162\209\103\160\145\052\110\120"
> ]
> 
> open Dynlink
> 
> let _ =
>   init ();
>   add_available_units crc_unit_list;
>   allow_unsafe_modules true;
>   try
>     for i = 1 to Array.length Sys.argv - 1 do
>       loadfile Sys.argv.(i)
>     done
>   with
>     Error err -> prerr_endline (error_message err)
>   | exn -> Printexc.catch raise exn
> -------------------
> To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr
> 
-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr