29 lines
1.1 KiB
Diff
29 lines
1.1 KiB
Diff
From 8995e5828ebfe933b74d0c3704c0524a63c73467 Mon Sep 17 00:00:00 2001
|
|
From: Florian Angeletti <florian.angeletti@inria.fr>
|
|
Date: Fri, 27 Sep 2019 17:15:26 +0200
|
|
Subject: [PATCH 06/13] Merge pull request #8988 from Octachron/fix_ocamlnat
|
|
|
|
Fix ocamlnat
|
|
|
|
(cherry picked from commit afb90bdf7476a92c024eee2e5745ed85200c654b)
|
|
---
|
|
toplevel/opttoploop.ml | 2 +-
|
|
1 file changed, 1 insertion(+), 1 deletion(-)
|
|
|
|
diff --git a/toplevel/opttoploop.ml b/toplevel/opttoploop.ml
|
|
index 0d1f73921..0174a9ab5 100644
|
|
--- a/toplevel/opttoploop.ml
|
|
+++ b/toplevel/opttoploop.ml
|
|
@@ -257,7 +257,7 @@ let load_lambda ppf ~module_ident ~required_globals lam size =
|
|
else
|
|
Asmgen.compile_implementation_flambda
|
|
~required_globals ~backend ~toplevel:need_symbol fn ~ppf_dump:ppf
|
|
- (Flambda_middle_end.middle_end ~ppf_dump:ppf ~prefixname:"" ~backend ~size
|
|
+ (Flambda_middle_end.middle_end ~ppf_dump:ppf ~prefixname:fn ~backend ~size
|
|
~module_ident ~module_initializer:slam ~filename:"toplevel");
|
|
Asmlink.call_linker_shared [fn ^ ext_obj] dll;
|
|
Sys.remove (fn ^ ext_obj);
|
|
--
|
|
2.23.0
|
|
|