diff options
Diffstat (limited to 'lang/ocaml/patches/patch-asmcomp_asmlink.ml')
| -rw-r--r-- | lang/ocaml/patches/patch-asmcomp_asmlink.ml | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/lang/ocaml/patches/patch-asmcomp_asmlink.ml b/lang/ocaml/patches/patch-asmcomp_asmlink.ml new file mode 100644 index 00000000000..3d6dd49f6ba --- /dev/null +++ b/lang/ocaml/patches/patch-asmcomp_asmlink.ml @@ -0,0 +1,19 @@ +$NetBSD: patch-asmcomp_asmlink.ml,v 1.1 2015/01/20 14:12:25 jaapb Exp $ + +pkgsrc_runtime flag +--- asmcomp/asmlink.ml.orig 2014-05-21 15:08:11.000000000 +0000 ++++ asmcomp/asmlink.ml +@@ -98,6 +98,13 @@ let add_ccobjs l = + end + + let runtime_lib () = ++ if !Clflags.pkgsrc_runtime ++ then begin ++ if !Clflags.gprofile ++ then [ "-lasmrunp" ] ++ else [ "-lasmrun" ^ !Clflags.runtime_variant ] ++ end ++ else + let libname = + if !Clflags.gprofile + then "libasmrunp" ^ ext_lib |