pmeunier/elpe - Change P27ILID2JNRMIXJNW47AWFYDU37BXQETA63W742HWVWGAXEET4QQC

Frontend: starting the connection before linking

Created by pmeunier on July 2, 2025

P27ILID2JNRMIXJNW47AWFYDU37BXQETA63W742HWVWGAXEET4QQC

Dependencies

In channels

main

Change contents

Insertion in elpe/bin/elpe_bin.ml at line 1 [3.63278]
[3.63278]
[4.73141]
```
open Lwt.Syntax
```

Replacement in elpe/bin/elpe_bin.ml at line 15 [3.63278]

B:BD[4.73589] → [4.73589:73843]

let run_shell (spec : Elpe.std_derivation) cmd =
  Lwt_main.run
    (let open Lwt.Syntax in
     let port = 50051 in
     let address = "127.0.0.1" in
     let* c = connection address port in
     Elpe.backend_conn := Some c;
     let* b = spec#setup in

[4.73589]

[3.63289]

let run_shell (spec : Elpe.derivation) cmd =
  let* b = spec#setup in

Replacement in elpe/bin/elpe_bin.ml at line 18 [3.63278]

B:BD[3.63290] → [4.73844:73938]

     let* bash = (Elpe.ubuntu "bash-static")#build in
     let bash = List.hd bash.destdir in

[3.63290]

[4.73938]

  let* bash = (Elpe.ubuntu "bash-static")#build in
  let bash = List.hd bash.destdir in

Replacement in elpe/bin/elpe_bin.ml at line 21 [3.63278]

B:BD[4.73939] → [4.73939:74021]

     let f = Filename.temp_dir "elpe-" "" ^ "/setup" in
     Unix.mkfifo f 0o666;

[4.73939]

[3.63487]

  let f = Filename.temp_dir "elpe-" "" ^ "/setup" in
  Unix.mkfifo f 0o666;

Replacement in elpe/bin/elpe_bin.ml at line 24 [3.63278]

B:BD[3.63488] → [4.74022:74310]

     let pid =
       Unix.create_process
         (bash ^ "/usr/bin/bash-static")
         (match cmd with
         | None -> [| "bash"; "--init-file"; f; "-i" |]
         | Some cmd -> [| "bash"; "--init-file"; f; "-i"; "-c"; cmd |])
         Unix.stdin Unix.stdout Unix.stderr
     in

[3.63488]

[4.74310]

  let pid =
    Unix.create_process
      (bash ^ "/usr/bin/bash-static")
      (match cmd with
      | None -> [| "bash"; "--init-file"; f; "-i" |]
      | Some cmd -> [| "bash"; "--init-file"; f; "-i"; "-c"; cmd |])
      Unix.stdin Unix.stdout Unix.stderr
  in

Replacement in elpe/bin/elpe_bin.ml at line 33 [3.63278]

B:BD[4.74311] → [4.74311:74447]

     let p = Unix.openfile f [ Unix.O_WRONLY ] 0o644 in
     let _ = Unix.write_substring p b 0 (String.length b) in
     Unix.close p;

[4.74311]

[4.74447]

  let p = Unix.openfile f [ Unix.O_WRONLY ] 0o644 in
  let _ = Unix.write_substring p b 0 (String.length b) in
  Unix.close p;

Replacement in elpe/bin/elpe_bin.ml at line 37 [3.63278]

B:BD[4.74448] → [4.74448:74557]

     match Unix.waitpid [] pid with
     | _, Unix.WEXITED e -> Lwt.return e
     | _ -> failwith "Unknown")

[4.74448]

[4.74557]

  match Unix.waitpid [] pid with
  | _, Unix.WEXITED e -> Lwt.return e
  | _ -> failwith "Unknown"

Replacement in elpe/bin/elpe_bin.ml at line 42 [3.63278]

B:BD[4.74599] → [4.74599:74889]

  Lwt_main.run
    (let open Lwt.Syntax in
     let port = 50051 in
     let address = "127.0.0.1" in
     let* c = connection address port in
     Elpe.backend_conn := Some c;
     let* b = spec#build in
     print_endline (List.fold_left (fun _ x -> x) "" b.destdir);
     Lwt.return ())

[4.74599]

[3.63635]

  let* b = spec#build in
  print_endline (List.fold_left (fun _ x -> x) "" b.destdir);
  Lwt.return ()

Insertion in elpe/bin/elpe_bin.ml at line 71 [3.63278]

[3.64202]

  let port = 50051 in
  let address = "127.0.0.1" in
  let* c = connection address port in
  Elpe.backend_conn := Some c;

Replacement in elpe/bin/elpe_bin.ml at line 83 [3.63278]
B:BD[3.64350] → [4.74980:75003]
```
  Dynlink.loadfile obj
```
[3.64350]
[4.75003]
```
  Lwt.return (Dynlink.loadfile obj)
```

Replacement in elpe/bin/elpe_bin.ml at line 92 [3.63278]

B:BD[4.75279] → [4.75279:75428]

       compile files;
       match !Elpe.last_built_module with
       | None -> Unix._exit 0
       | Some last -> Unix._exit (run_shell last cmd))

[4.75279]

[4.75428]

       Lwt_main.run
         (let* _ = compile (if files = [] then [ "build.ml" ] else files) in
          match !Elpe.last_built_module with
          | None -> Unix._exit 0
          | Some last ->
              let* last = last in
              let* shell = run_shell last cmd in
              Unix._exit shell))

Replacement in elpe/bin/elpe_bin.ml at line 106 [3.63278]

B:BD[4.75630] → [2.309:372]

∅:D[5.135] → [4.75652:75814]

∅:D[2.372] → [4.75652:75814]

B:BD[4.75652] → [4.75652:75814]

       compile (if files = [] then [ "build.ml" ] else files);
       let _ =
         match !Elpe.last_built_module with
         | None -> ()
         | Some last -> run_build (last :> Elpe.derivation)
       in
       ())

[4.75630]

[3.64512]

       Lwt_main.run
         (let* _ = compile (if files = [] then [ "build.ml" ] else files) in
          match !Elpe.last_built_module with
          | None -> Lwt.return ()
          | Some last ->
              let* last = last in
              run_build (last :> Elpe.derivation)))