[polyml] 04/10: Split modules out of libpolyml9 into new polyml-modules

[James Clarke]

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

jrtc27 pushed a commit to branch debian/experimental
in repository polyml.

commit def15522276b86ae1fb683c3df3aecd93fd62381
Author: James Clarke <jrtc27 at debian.org>
Date:   Mon Nov 20 14:18:34 2017 +0000

    Split modules out of libpolyml9 into new polyml-modules
---
 debian/control                                     | 31 +++++++++++++++++-----
 debian/libpolyml9.install                          |  1 -
 .../{libpolyml9.install => polyml-modules.install} |  1 -
 3 files changed, 25 insertions(+), 8 deletions(-)

diff --git a/debian/control b/debian/control
index 069ae50..d3873e1 100644
--- a/debian/control
+++ b/debian/control
@@ -20,6 +20,7 @@ Depends:
  file,
  g++,
  libffi-dev,
+ polyml-modules (= ${binary:Version}),
  ${misc:Depends},
  ${shlibs:Depends},
 Description: interpreter and interactive compiler for Standard ML
@@ -31,6 +32,30 @@ Description: interpreter and interactive compiler for Standard ML
  .
  This package provides the top-level interpreter and compiler.
 
+Package: polyml-modules
+Section: libs
+Architecture: any
+Multi-Arch: same
+Breaks:
+ libpolyml7 (>= 5.7~20170315.git1343f60-1),
+ libpolyml8,
+Replaces:
+ libpolyml7 (>= 5.7~20170315.git1343f60-1),
+ libpolyml8,
+Pre-Depends:
+ ${misc:Pre-Depends},
+Depends:
+ ${misc:Depends},
+ ${shlibs:Depends},
+Description: modules for Poly/ML, a compiler for Standard ML
+ Poly/ML is an implementation of the Standard ML programming language
+ Standard ML is a general-purpose, modular, type-safe, strict,
+ functional programming language. Poly/ML is SML 97 compliant
+ interpreter and compiler that supports the generation of stand-alone
+ executables with an interactive toplevel (REPL).
+ .
+ This package provides the standard modules for Poly/ML.
+
 Package: libpolyml-dev
 Section: libdevel
 Architecture: any
@@ -52,12 +77,6 @@ Package: libpolyml9
 Section: libs
 Architecture: any
 Multi-Arch: same
-Breaks:
- libpolyml7 (>= 5.7~20170315.git1343f60-1),
- libpolyml8
-Replaces:
- libpolyml7 (>= 5.7~20170315.git1343f60-1),
- libpolyml8
 Pre-Depends:
  ${misc:Pre-Depends},
 Depends:
diff --git a/debian/libpolyml9.install b/debian/libpolyml9.install
index 22e85d8..d81d8e3 100644
--- a/debian/libpolyml9.install
+++ b/debian/libpolyml9.install
@@ -1,2 +1 @@
 usr/lib/*/libpolyml.so.*
-usr/lib/*/polyml/modules/IntInfAsInt
diff --git a/debian/libpolyml9.install b/debian/polyml-modules.install
similarity index 59%
copy from debian/libpolyml9.install
copy to debian/polyml-modules.install
index 22e85d8..fe5d1b7 100644
--- a/debian/libpolyml9.install
+++ b/debian/polyml-modules.install
@@ -1,2 +1 @@
-usr/lib/*/libpolyml.so.*
 usr/lib/*/polyml/modules/IntInfAsInt

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/polyml.git