[Pkg-ocaml-maint-commits] [oasis] 11/13: There is no more userconf

Stéphane Glondu glondu at moszumanska.debian.org
Fri Jul 21 15:31:31 UTC 2017


This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository oasis.

commit 1fb9b4ebdc0b93b42f2a89188826f3f3ac76f143
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Jul 21 17:23:01 2017 +0200

    There is no more userconf
---
 debian/liboasis-ocaml-dev.install.in | 6 ------
 debian/liboasis-ocaml.install.in     | 3 ---
 2 files changed, 9 deletions(-)

diff --git a/debian/liboasis-ocaml-dev.install.in b/debian/liboasis-ocaml-dev.install.in
index fb6b94b..978e646 100644
--- a/debian/liboasis-ocaml-dev.install.in
+++ b/debian/liboasis-ocaml-dev.install.in
@@ -10,9 +10,3 @@ OPT: @OCamlStdlibDir@/oasis/*.a
 @OCamlStdlibDir@/plugin-loader/*.ml*
 OPT: @OCamlStdlibDir@/plugin-loader/*.cmxa
 OPT: @OCamlStdlibDir@/plugin-loader/*.a
- at OCamlStdlibDir@/userconf/*.cm[ix]
- at OCamlStdlibDir@/userconf/*.cmt{,i}
- at OCamlStdlibDir@/userconf/*.annot
- at OCamlStdlibDir@/userconf/*.ml*
-OPT: @OCamlStdlibDir@/userconf/*.cmxa
-OPT: @OCamlStdlibDir@/userconf/*.a
diff --git a/debian/liboasis-ocaml.install.in b/debian/liboasis-ocaml.install.in
index a82f46d..2b165dc 100644
--- a/debian/liboasis-ocaml.install.in
+++ b/debian/liboasis-ocaml.install.in
@@ -4,6 +4,3 @@ DYN: @OCamlStdlibDir@/oasis/*.cmxs
 @OCamlStdlibDir@/plugin-loader/META
 @OCamlStdlibDir@/plugin-loader/*.cm[ao]
 DYN: @OCamlStdlibDir@/plugin-loader/*.cmxs
- at OCamlStdlibDir@/userconf/META
- at OCamlStdlibDir@/userconf/*.cm[ao]
-DYN: @OCamlStdlibDir@/userconf/*.cmxs

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/oasis.git



More information about the Pkg-ocaml-maint-commits mailing list