Source file ppx_cstubs_custom.ml

# 1 "ppx_cstubs_custom.cppo.ml"
(* This file is part of ppx_cstubs (https://github.com/fdopen/ppx_cstubs)
 * Copyright (c) 2018-2019 fdopen
 *
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU Lesser General Public License as published by
 * the Free Software Foundation, with linking exception;
 * either version 2.1 of the License, or (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
 *)

let toplevel_env = ref Env.empty

let flib_protect f a =
  try f a with Fl_package_base.No_such_package (s, s') ->
    if s' = "" then Printf.eprintf "error: findlib package %s not found\n%!" s
    else Printf.eprintf "error: findlib package %s (%S) not found\n%!" s s' ;
    exit 2

let initialized = ref false

let init ~nopervasives ~pkgs ~use_threads ~cma_files () =
  match !initialized with
  | true -> ()
  | false ->
     if nopervasives then Clflags.nopervasives := true ;
     Toploop.set_paths ();
     toplevel_env := Compmisc.initial_env () ;
     Topfind.log := ignore ;
     let l = [ "integers"; "ctypes"; "ppx_cstubs" ; "ppx_cstubs.internal" ] in
     CCListLabels.iter l ~f:(fun p ->
         Topdirs.dir_directory @@ flib_protect Findlib.package_directory p);
     if pkgs <> [] then (
       Topfind.add_predicates ["byte"];
       flib_protect Topfind.don't_load_deeply ["ppx_cstubs.internal"];
       if use_threads then (
         Topfind.add_predicates ["mt";"mt_posix"];
         flib_protect Topfind.load_deeply ["threads"]);
       flib_protect Topfind.load_deeply pkgs );
     ListLabels.iter cma_files ~f:(fun s ->
          let dir = Filename.dirname s in
          if dir <> "." then Topdirs.dir_directory dir ;
          let b = Topdirs.load_file Format.str_formatter s in
          let msg = Format.flush_str_formatter () in
          if not b then (
            Printf.eprintf "fatal:failed to load %s (%s)\n%!" s msg ;
            exit 2 ) ) ;
     initialized := true;
     ()

let eval st =
    let loc =
      match st with
      | a::_ -> a.Parsetree.pstr_loc
      | [] -> ! Ast_helper.default_loc
    in
    Typecore.reset_delayed_checks () ;
    
# 66 "ppx_cstubs_custom.cppo.ml"
    let (str, _sg, _sn, newenv) = Typemod.type_structure !toplevel_env st loc in
    
# 70 "ppx_cstubs_custom.cppo.ml"
    let lam = Translmod.transl_toplevel_definition str in
    Warnings.check_fatal () ;
    let init_code, fun_code = Bytegen.compile_phrase lam in
    
# 74 "ppx_cstubs_custom.cppo.ml"
    let code, reloc, events =
      Emitcode.to_memory init_code fun_code
    in
    
# 85 "ppx_cstubs_custom.cppo.ml"
    let can_free = fun_code = [] in
    let initial_symtable = Symtable.current_state () in
    Symtable.patch_object code reloc ;
    Symtable.check_global_initialized reloc ;
    Symtable.update_global_table () ;
    
# 91 "ppx_cstubs_custom.cppo.ml"
    let bytecode, closure = Meta.reify_bytecode code [| events |] None in
    try
      let retval = closure () in
      if can_free then Meta.release_bytecode bytecode;
      toplevel_env := newenv ;
      ignore ( retval : Obj.t );
      ()
    with
    | x ->
      if can_free then Meta.release_bytecode bytecode;
      Symtable.restore_state initial_symtable ;
      raise x

# 127 "ppx_cstubs_custom.cppo.ml"
let get_top () =
  object
    method init ~nopervasives ~pkgs ~use_threads ~cma_files () =
      init ~nopervasives ~pkgs ~use_threads ~cma_files ()
    method eval st = eval st
  end

let init () =
  let top = get_top () in
  Ppxc__script._init (Some top)