This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Commit 76e797f
1 parent 0e5486d commit 76e797f Copy full SHA for 76e797f
File tree 2 files changed +5
-2
lines changed
2 files changed +5
-2
lines changed Original file line number Diff line number Diff line change @@ -25,7 +25,7 @@ let ps = Printf.sprintf
25
25
let ep = Printf. eprintf
26
26
27
27
let debug = false
28
- let profiling = false
28
+ let profiling = true
29
29
let native_p4 = true (* In case you have problems with natdynlink, set this to false *)
30
30
31
31
module Spec = struct
Original file line number Diff line number Diff line change @@ -28,6 +28,8 @@ let lib = getenv ~default:(home / "mir-inst") "MIRAGELIB"
28
28
let cc = getenv ~default: " cc" " CC"
29
29
let ld = getenv ~default: " ld" " LD"
30
30
31
+ let profiling = true
32
+
31
33
(* * Utility functions (e.g. to execute a command and return lines read) *)
32
34
module Util = struct
33
35
let split s ch =
@@ -93,7 +95,7 @@ module Mir = struct
93
95
| Linux -> [A " -lm" ; A runlib; A " -lcamlstr" ; A " -ldl" ; A " -ltermcap" ]
94
96
| Darwin -> [A " -lm" ; A runlib; A " -lcamlstr" ; A " -ltermcap" ] in
95
97
let tags = tags++ " cc" ++ " c" in
96
- Cmd (S (A cc :: [ T (tags++ " link" ); A ocamlc_libdir; A " -o" ; Px out;
98
+ Cmd (S (A cc :: [ T (tags++ " link" ); A " -pg " ; A ocamlc_libdir; A " -o" ; Px out;
97
99
A (unixmain mode); P arg; A (unixrun mode); ] @ dl_libs))
98
100
99
101
(* * Link to a standalone Xen microkernel *)
@@ -437,6 +439,7 @@ let _ = dispatch begin function
437
439
flag [" ocaml" ; " compile" ] & std_flags;
438
440
flag [" ocaml" ; " pack" ] & std_flags;
439
441
flag [" ocaml" ; " link" ] & std_flags;
442
+ flag [" ocaml" ; " native" ; " compile" ] & S [A " -p" ];
440
443
(* Include the correct stdlib depending on which backend is chosen *)
441
444
List. iter (fun be ->
442
445
let be = Spec. backend_to_string be in
You can’t perform that action at this time.
0 commit comments