[Pkg-ocaml-maint-commits] [jocaml] 10/15: Update jocaml.install.in
Mehdi Dogguy
mehdi at moszumanska.debian.org
Thu May 8 22:12:47 UTC 2014
This is an automated email from the git hooks/post-receive script.
mehdi pushed a commit to branch master
in repository jocaml.
commit 018d550671a5bda556e7b50bf69d018ecc8a8b1d
Author: Mehdi Dogguy <mehdi at debian.org>
Date: Thu May 8 23:09:11 2014 +0200
Update jocaml.install.in
---
debian/jocaml.dirs.in | 1 +
debian/jocaml.install.in | 7 +++----
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/debian/jocaml.dirs.in b/debian/jocaml.dirs.in
index 28f3ef0..5c2177f 100644
--- a/debian/jocaml.dirs.in
+++ b/debian/jocaml.dirs.in
@@ -1,4 +1,5 @@
usr/bin
@JOCamlStdlibDir@
+ at JOCamlStdlibDir@/compiler-libs
@JOCamlStdlibDir@/jocamltoploop
usr/share/lintian/overrides
diff --git a/debian/jocaml.install.in b/debian/jocaml.install.in
index f1b8776..f8ff48c 100644
--- a/debian/jocaml.install.in
+++ b/debian/jocaml.install.in
@@ -12,10 +12,9 @@ OPT: usr/bin/jocamldep.opt
OPT: usr/bin/jocamllex.opt
OPT: usr/bin/jocamlopt
OPT: usr/bin/jocamlopt.opt
- at JOCamlStdlibDir@/topdirs.cmi
- at JOCamlStdlibDir@/toplevellib.cma
- at JOCamlStdlibDir@/topmain.cmi
- at JOCamlStdlibDir@/topstart.cmo
+ at JOCamlStdlibDir@/compiler-libs/topdirs.cmi
+ at JOCamlStdlibDir@/compiler-libs/topmain.cmi
+ at JOCamlStdlibDir@/compiler-libs/topstart.cmo
@JOCamlStdlibDir@/camlheader*
@JOCamlStdlibDir@/expunge
@JOCamlStdlibDir@/extract_crc
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/jocaml.git
More information about the Pkg-ocaml-maint-commits
mailing list