projects
/
ocaml.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
fa428fd
)
dynlink.cmx* are natdynlink-specific, obviously...
author
Stephane Glondu
<steph@glondu.net>
Mon, 21 Jun 2010 23:45:02 +0000
(16:45 -0700)
committer
Stephane Glondu
<steph@glondu.net>
Mon, 21 Jun 2010 23:45:02 +0000
(16:45 -0700)
debian/ocaml-nox.install.in
patch
|
blob
|
history
diff --git
a/debian/ocaml-nox.install.in
b/debian/ocaml-nox.install.in
index 771435195362bf104423c26e79dbcae779007254..ca2796cf08520984e85679522c6df3ac697c05a3 100644
(file)
--- 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