From: Stephane Glondu <steph@glondu.net>
Date: Mon, 21 Jun 2010 23:45:02 +0000 (-0700)
Subject: dynlink.cmx* are natdynlink-specific, obviously...
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~336
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=87c1a8c9791f85010a001c2ef0e52250a8727d45;p=ocaml.git

dynlink.cmx* are natdynlink-specific, obviously...
---

diff --git a/debian/ocaml-nox.install.in b/debian/ocaml-nox.install.in
index 77143519..ca2796cf 100644
--- a/debian/ocaml-nox.install.in
+++ b/debian/ocaml-nox.install.in
@@ -18,6 +18,9 @@ OPT: usr/bin/ocamlopt
      @OCamlStdlibDir@/stdlib.cma
      @OCamlStdlibDir@/toplevellib.cma
      @OCamlStdlibDir@/dynlink.cma
+DYN: @OCamlStdlibDir@/dynlink.cmx
+DYN: @OCamlStdlibDir@/dynlink.cmxa
+DYN: @OCamlStdlibDir@/dynlink.a
      @OCamlStdlibDir@/caml
      @OCamlStdlibDir@/camlheader
      @OCamlStdlibDir@/camlheader_ur
@@ -180,8 +183,6 @@ STD: dbm.mli
 STD: digest.ml
 STD: digest.mli
 STD: digest.cmx
-STD: dynlink.cmx
-STD: dynlink.cmxa
 STD: dynlink.mli
 STD: event.mli
 STD: filename.ml