diff options
-rw-r--r-- | build/otherlibs-targets.sh | 3 | ||||
-rw-r--r-- | myocamlbuild.ml | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/build/otherlibs-targets.sh b/build/otherlibs-targets.sh index 24df9a6d91..2167dd3349 100644 --- a/build/otherlibs-targets.sh +++ b/build/otherlibs-targets.sh @@ -39,6 +39,7 @@ add_c_lib() { add_ocaml_lib() { add_native "$1.cmxa" + add_native "$1.$A" add_byte "$1.cma" } @@ -94,7 +95,7 @@ for lib in $OTHERLIBRARIES; do add_c_lib mldbm;; dynlink) add_ocaml_lib dynlink - add_native dynlink.cmx + add_native dynlink.cmx dynlink.$O add_file $lib.cmi extract_crc;; win32unix) UNIXDIR="otherlibs/win32unix" diff --git a/myocamlbuild.ml b/myocamlbuild.ml index 84572828ca..13775e4b56 100644 --- a/myocamlbuild.ml +++ b/myocamlbuild.ml @@ -400,6 +400,7 @@ rule "native stdlib in mixed mode" copy_rule' ~insert:`top "otherlibs/dynlink/natdynlink.ml" "otherlibs/dynlink/nat/dynlink.ml";; copy_rule' ~insert:`top "otherlibs/dynlink/dynlink.mli" "otherlibs/dynlink/nat/dynlink.mli";; copy_rule' ~insert:`top "otherlibs/dynlink/nat/dynlink.cmx" "otherlibs/dynlink/dynlink.cmx";; +copy_rule' ~insert:`top ("otherlibs/dynlink/nat/dynlink"-.-C.o) ("otherlibs/dynlink/dynlink"-.-C.o);; copy_rule' ~insert:`top "otherlibs/dynlink/nat/dynlink.cmxa" "otherlibs/dynlink/dynlink.cmxa";; copy_rule' ~insert:`top ("otherlibs/dynlink/nat/dynlink"-.-C.a) ("otherlibs/dynlink/dynlink"-.-C.a);; dep ["ocaml"; "compile"; "native"; "file:otherlibs/dynlink/nat/dynlink.cmx"] ["otherlibs/dynlink/nat/dynlink.cmi"];; @@ -1090,7 +1091,7 @@ rule "labltk.cma" let labltk_cmxa_contents = labltk_contents "cmx" in rule "labltk.cmxa" - ~prod:"otherlibs/labltk/lib/labltk.cmxa" + ~prods:["otherlibs/labltk/lib/labltk.cmxa"; "otherlibs/labltk/lib/labltk"-.-C.a] ~deps:labltk_cmxa_contents (Ocamlbuild_pack.Ocaml_compiler.native_library_link_modules labltk_lib_contents "otherlibs/labltk/lib/labltk.cmxa");; |