From 87c1a8c9791f85010a001c2ef0e52250a8727d45 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Mon, 21 Jun 2010 16:45:02 -0700 Subject: [PATCH] dynlink.cmx* are natdynlink-specific, obviously... --- debian/ocaml-nox.install.in | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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 -- 2.30.2