diff options
author | Nicolas Pouillard <np@nicolaspouillard.fr> | 2009-05-26 12:50:41 +0000 |
---|---|---|
committer | Nicolas Pouillard <np@nicolaspouillard.fr> | 2009-05-26 12:50:41 +0000 |
commit | 9ac11d08c3dc4e4573d35c71cb2ada675bcd79c3 (patch) | |
tree | ee484fc94f5342935c0b57a219725c3fc4b4ef76 /build | |
parent | 038ceed4e7f40e83930e5b3321d7baf6b0f62607 (diff) | |
download | ocaml-9ac11d08c3dc4e4573d35c71cb2ada675bcd79c3.tar.gz |
build with ocamlbuild: Fix the natdynlink build
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'build')
-rw-r--r-- | build/otherlibs-targets.sh | 3 |
1 files changed, 2 insertions, 1 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" |