[DHG_packages] 02/03: agda: use dh_elpa (not yet tested)
Sean Whitton
spw-guest at moszumanska.debian.org
Thu Jun 9 12:58:46 UTC 2016
This is an automated email from the git hooks/post-receive script.
spw-guest pushed a commit to branch master
in repository DHG_packages.
commit 282eaaaf4f7a788191525f701d3ac0fe21be64e2
Author: Sean Whitton <spwhitton at spwhitton.name>
Date: Thu Jun 9 21:56:51 2016 +0900
agda: use dh_elpa (not yet tested)
---
p/agda/debian/control | 25 ++++++++++++++++++-------
p/agda/debian/elpa-agda2-mode.elpa | 1 +
p/agda/debian/rules | 3 +++
3 files changed, 22 insertions(+), 7 deletions(-)
diff --git a/p/agda/debian/control b/p/agda/debian/control
index 077b1d0..6718a08 100644
--- a/p/agda/debian/control
+++ b/p/agda/debian/control
@@ -83,7 +83,7 @@ Architecture: all
Section: misc
Depends:
agda-bin,
- agda-mode,
+ elpa-agda2-mode,
agda-stdlib,
agda-stdlib-doc,
libghc-agda-dev,
@@ -115,7 +115,7 @@ Recommends:
libghc-agda-dev (>= ${source:Upstream-Version}),
${haskell:Recommends},
Suggests:
- agda-mode,
+ elpa-agda2-mode,
${haskell:Suggests},
Description: commandline interface to Agda
Agda is a dependently typed functional programming language: It has inductive
@@ -134,18 +134,21 @@ Description: commandline interface to Agda
Agda programs. The program can also generate hyperlinked, highlighted HTML
files from Agda sources.
-Package: agda-mode
+Package: elpa-agda2-mode
+Section: editors
Architecture: all
-Section: misc
-Depends:
+Depends: ${misc:Depends},
agda-bin (<< ${source:Version}.1~),
agda-bin (>= ${source:Version}),
- emacs | emacsen,
libghc-agda-dev (<< ${source:Version}.1~),
libghc-agda-dev (>= ${source:Version}),
${haskell:Depends},
- ${misc:Depends},
${shlibs:Depends},
+Built-Using: ${misc:Built-Using}
+Recommends: emacs (>= 46.0)
+Enhances: emacs, emacs24
+Breaks: agda-mode (<< 2.5.1)
+Provides: agda-mode
Description: dependently typed functional programming language — emacs mode
Agda is a dependently typed functional programming language: It has inductive
families, which are like Haskell's GADTs, but they can be indexed by values and
@@ -163,6 +166,14 @@ Description: dependently typed functional programming language — emacs mode
mode is the preferred way to write Agda code, and offers features such as
iterative development, refinement, case analysis and so on.
+Package: agda-mode
+Architecture: all
+Section: misc
+Depends: ${misc:Depends}
+Description: transitional dummy package for elpa-agda2-mode
+ agda-mode has been ELPAfied. See the elpa-agda2-mode package. This
+ transitional package is safe to remove.
+
Package: libghc-agda-dev
Architecture: any
Section: haskell
diff --git a/p/agda/debian/elpa-agda2-mode.elpa b/p/agda/debian/elpa-agda2-mode.elpa
new file mode 100644
index 0000000..535718d
--- /dev/null
+++ b/p/agda/debian/elpa-agda2-mode.elpa
@@ -0,0 +1 @@
+src/data/emacs-mode/*.el
diff --git a/p/agda/debian/rules b/p/agda/debian/rules
index 1b0e979..c2941e8 100755
--- a/p/agda/debian/rules
+++ b/p/agda/debian/rules
@@ -12,3 +12,6 @@ install/libghc-agda-dev:: debian/tmp-inst-ghc
Agda_datadir=$(CURDIR)/debian/tmp-inst-ghc/usr/share/libghc-agda-dev \
debian/tmp-inst-ghc/usr/bin/agda \
$(CURDIR)/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agda -v0
+
+install/elpa-agda2-mode::
+ dh_elpa
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/DHG_packages.git
More information about the Pkg-haskell-commits
mailing list