Source file OASISDynRun.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
(******************************************************************************)
(* OASIS: architecture for building OCaml libraries and applications          *)
(*                                                                            *)
(* Copyright (C) 2011-2016, Sylvain Le Gall                                   *)
(* Copyright (C) 2008-2011, OCamlCore SARL                                    *)
(*                                                                            *)
(* This library 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; either version 2.1 of the License, or (at    *)
(* your option) any later version, with the OCaml static compilation          *)
(* exception.                                                                 *)
(*                                                                            *)
(* This library 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 file COPYING for more         *)
(* details.                                                                   *)
(*                                                                            *)
(* You should have received a copy of the GNU Lesser General Public License   *)
(* along with this library; if not, write to the Free Software Foundation,    *)
(* Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301 USA              *)
(******************************************************************************)


(* Dynamic runtime for building setup.ml.

   We use this to reduce setup.ml replaceable section to a few lines
   everything else is dynamically generated.
*)


let () = OASISBuiltinPlugins.init ()


open OASISTypes

let dynrun_ctxt = !BaseContext.default

let setup_t =
  let pkg =
    OASISParse.from_file ~ctxt:dynrun_ctxt OASISParse.default_oasis_fn
  in
  let _, setup_t =
    BaseSetup.of_package
      ~ctxt:dynrun_ctxt
      ~setup_update:false
      OASISSetupUpdate.Dynamic
      pkg
  in
  setup_t


(* Re-export BaseSetup.setup so one can modify setup_t before passing it
   to setup(). *)
module BaseSetup = struct
  include BaseSetup

  let setup ~ctxt setup_t =
    let tmp_setup_fn =
      Filename.temp_file (setup_t.package.name^"-setup") ".ml" in
    let restored = ref false in
    let cleanup ~ctxt () =
      if not !restored then begin
        restored := true;
        BaseGenerate.restore ~ctxt ();
        if Sys.file_exists tmp_setup_fn then
          Sys.remove tmp_setup_fn
      end
    in
    try
      let _lst: 'a list =
        BaseGenerate.generate
          ~ctxt
          ~backup:true
          ~setup_fn:tmp_setup_fn
          ~restore:true
          OASISSetupUpdate.NoUpdate
          (OASISParse.from_file
             ~ctxt:!BaseContext.default OASISParse.default_oasis_fn)
      in
      at_exit (cleanup ~ctxt);
      let setup_t =
        (* Override distclean, because it remove setup.log and we need it for
         * BaseGenerate.restore
        *)
        {setup_t with
         distclean = setup_t.distclean @ [fun ~ctxt _ _ -> cleanup ~ctxt ()]}
      in
      BaseSetup.setup setup_t;
      cleanup ~ctxt ()
    with e ->
      cleanup ~ctxt ();
      raise e
end


let setup (): unit = BaseSetup.setup ~ctxt:dynrun_ctxt setup_t