The unpac monorepo manager self-hosting as a monorepo using unpac
first intermediate step (no prim additions)
+12
-9
boot/ocamlc
boot/ocamlc
This is a binary file and will not be displayed.
boot/ocamllex
boot/ocamllex
This is a binary file and will not be displayed.
+5
-5
bytecomp/translprim.ml
+5
-5
bytecomp/translprim.ml
···
104
104
let gen_array_kind =
105
105
if Config.flat_float_array then Pgenarray else Paddrarray
106
106
107
-
let prim_sys_argv =
108
-
Primitive.simple ~name:"caml_sys_argv" ~arity:1 ~alloc:true
107
+
(*let prim_sys_argv =
108
+
Primitive.simple ~name:"caml_sys_argv" ~arity:1 ~alloc:true*)
109
109
110
110
let primitives_table =
111
111
create_hashtable 57 [
···
344
344
"%bswap_native", Primitive ((Pbbswap(Pnativeint)), 1);
345
345
"%int_as_pointer", Primitive (Pint_as_pointer, 1);
346
346
"%opaque", Primitive (Popaque, 1);
347
-
"%sys_argv", External prim_sys_argv;
347
+
(*"%sys_argv", External prim_sys_argv;*)
348
348
"%send", Send;
349
349
"%sendself", Send_self;
350
350
"%sendcache", Send_cache;
···
670
670
match prim, args with
671
671
| Primitive (prim, arity), args when arity = List.length args ->
672
672
Lprim(prim, args, loc)
673
-
| External prim, args when prim = prim_sys_argv ->
674
-
Lprim(Pccall prim, Lconst (Const_pointer 0) :: args, loc)
673
+
(*| External prim, args when prim = prim_sys_argv ->
674
+
Lprim(Pccall prim, Lconst (Const_pointer 0) :: args, loc)*)
675
675
| External prim, args ->
676
676
Lprim(Pccall prim, args, loc)
677
677
| Comparison(comp, knd), ([_;_] as args) ->
+2
-1
stdlib/sys.mli
+2
-1
stdlib/sys.mli
···
20
20
an error.
21
21
*)
22
22
23
-
external argv : string array = "%sys_argv"
23
+
(*external argv : string array = "%sys_argv"*)
24
+
val argv : string array
24
25
(** The command line arguments given to the process.
25
26
The first element is the command name used to invoke the program.
26
27
The following elements are the command-line arguments
+5
-3
stdlib/sys.mlp
+5
-3
stdlib/sys.mlp
···
25
25
(* System interface *)
26
26
27
27
external get_config: unit -> string * int * bool = "caml_sys_get_config"
28
-
external get_executable_name : unit -> string = "caml_sys_executable_name"
29
-
external argv : string array = "%sys_argv"
28
+
external get_argv: unit -> string * string array = "caml_sys_get_argv"
29
+
(*external get_executable_name : unit -> string = "caml_sys_executable_name"
30
+
external argv : string array = "%sys_argv"*)
30
31
external big_endian : unit -> bool = "%big_endian"
31
32
external word_size : unit -> int = "%word_size"
32
33
external int_size : unit -> int = "%int_size"
···
36
37
external cygwin : unit -> bool = "%ostype_cygwin"
37
38
external get_backend_type : unit -> backend_type = "%backend_type"
38
39
39
-
let executable_name = get_executable_name()
40
+
(*let executable_name = get_executable_name()*)
41
+
let (executable_name, argv) = get_argv()
40
42
let (os_type, _, _) = get_config()
41
43
let backend_type = get_backend_type ()
42
44
let big_endian = big_endian ()