[polyml] 04/10: Split modules out of libpolyml9 into new polyml-modules
James Clarke
jrtc27 at moszumanska.debian.org
Tue Nov 21 00:52:22 UTC 2017
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
More information about the debian-science-commits
mailing list