[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