Your message dated Mon, 01 Jun 2015 22:05:46 +0000
with message-id <[email protected]>
and subject line Bug#776293: fixed in ats2-lang 0.1.13-1
has caused the Debian Bug report #776293,
regarding ats2-lang: Support ats2-mode package
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
776293: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=776293
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: ats2-lang
Severity: wishlist
Dear Maintainer,
Upsteam version 0.1.9 includes ats2-mode emacs lisp files.
Could you support the ats2-mode on Debian system?
A patch to support it is attached with this mail.
Best regards,
--
Kiwamu Okabe
diff --git a/ats2-mode.emacsen-compat b/ats2-mode.emacsen-compat
new file mode 100644
index 0000000..573541a
--- /dev/null
+++ b/ats2-mode.emacsen-compat
@@ -0,0 +1 @@
+0
diff --git a/ats2-mode.emacsen-install b/ats2-mode.emacsen-install
new file mode 100644
index 0000000..a8b3905
--- /dev/null
+++ b/ats2-mode.emacsen-install
@@ -0,0 +1,36 @@
+#!/bin/sh -e
+# /usr/lib/emacsen-common/packages/install/ats2-mode
+
+FLAVOR=$1
+PACKAGE=ats2-mode
+
+# A number of old emacs versions are not supported by upstream:
+case $FLAVOR in
+ emacs|emacs19|emacs20|emacs21|xemacs21)
+ exit 0
+ ;;
+esac
+
+echo install/${PACKAGE}: Handling install for emacsen flavor ${FLAVOR}
+
+# The byte-compiled files goes into the site-lisp directory.
+BCDIR=/usr/share/${FLAVOR}/site-lisp/${PACKAGE}
+install -m 755 -d ${BCDIR}
+
+# The elisp source files are in the generic site-list directory.
+SRCDIR=/usr/share/emacs/site-lisp/${PACKAGE}
+SRC=`find ${SRCDIR} -name '*.el' -exec basename '{}' ';'`
+
+# Prepare for byte-compiling the source files.
+cd ${BCDIR}
+ln -sf ${SRCDIR}/*.el .
+cat << EOF > path.el
+(setq load-path (cons "." load-path) byte-compile-warnings nil)
+EOF
+
+# Byte-compile elisp files.
+FLAGS="--no-site-file --no-init-file --batch -l path.el -f batch-byte-compile"
+${FLAVOR} ${FLAGS} ${SRC}
+rm -f path.el
+
+exit 0
diff --git a/ats2-mode.emacsen-remove b/ats2-mode.emacsen-remove
new file mode 100644
index 0000000..a7e7fba
--- /dev/null
+++ b/ats2-mode.emacsen-remove
@@ -0,0 +1,15 @@
+#!/bin/sh -e
+# /usr/lib/emacsen-common/packages/remove/ats2-mode
+FLAVOR=$1
+PACKAGE=ats2-mode
+
+# A number of old emacs versions are not supported by upstream:
+case $FLAVOR in
+ emacs|emacs19|emacs20|emacs21|xemacs21)
+ exit 0
+ ;;
+esac
+
+echo remove/${PACKAGE}: purging byte-compiled files for ${FLAVOR}
+rm -rf /usr/share/${FLAVOR}/site-lisp/${PACKAGE}
+exit 0
diff --git a/ats2-mode.emacsen-startup b/ats2-mode.emacsen-startup
new file mode 100644
index 0000000..1d8a840
--- /dev/null
+++ b/ats2-mode.emacsen-startup
@@ -0,0 +1,12 @@
+;; -*-emacs-lisp-*-
+(if (not (file-exists-p "/usr/share/emacs/site-lisp/ats2-mode"))
+ (message "Package ats2-mode needs reinstall. Skipping setup.")
+
+ (setq load-path (cons (concat "/usr/share/"
+ (symbol-name debian-emacs-flavor)
+ "/site-lisp/ats2-mode") load-path))
+ (add-to-list 'auto-mode-alist '("\\.\\(d\\|s\\)ats\\'" . ats-mode))
+ (autoload 'ats-mode "ats2-mode" "Major mode to edit ATS2 source code" t)
+ (require 'ats2-flymake)
+ (add-hook 'ats-mode-hook 'ats2-flymake-load)
+)
diff --git a/ats2-mode.install b/ats2-mode.install
new file mode 100644
index 0000000..5de5f04
--- /dev/null
+++ b/ats2-mode.install
@@ -0,0 +1 @@
+utils/emacs/*.el usr/share/emacs/site-lisp/ats2-mode/
diff --git a/changelog b/changelog
index ce4249f..c05150e 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,10 @@
+ats2-lang (0.1.9-1) UNRELEASED; urgency=medium
+
+ * New upstream release
+ * Create ats2-mode package
+
+ -- Kiwamu Okabe <[email protected]> Mon, 26 Jan 2015 18:32:04 +0900
+
ats2-lang (0.1.8-1) unstable; urgency=medium
* New upstream release
diff --git a/control b/control
index da7d05c..a4300b8 100644
--- a/control
+++ b/control
@@ -9,7 +9,7 @@ Homepage: http://www.ats-lang.org/
Package: ats2-lang
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}
-Description: ATS version 2 programming language compiler
+Description: ATS version 2 programming language - compiler
ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive
type system rooted in the framework Applied Type System. In particular, both
dependent types and linear types are available in ATS. The current
@@ -25,3 +25,11 @@ Description: ATS version 2 programming language compiler
deduction systems and their (meta-)properties.
.
This package contains the compiler patsopt and the frontend patscc.
+
+Package: ats2-mode
+Architecture: all
+Depends: ${misc:Depends}, emacs | emacsen, emacsen-common (>= 2.0.8)
+Suggests: ats2-lang
+Description: ATS version 2 programming language - mode for GNU Emacs
+ This package provides a GNU Emacs major mode for editing code in
+ ATS2 a.k.a. ATS/Postiats is a programming language.
--- End Message ---
--- Begin Message ---
Source: ats2-lang
Source-Version: 0.1.13-1
We believe that the bug you reported is fixed in the latest version of
ats2-lang, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Matthew Danish <[email protected]> (supplier of updated ats2-lang package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 01 Jun 2015 15:32:20 -0400
Source: ats2-lang
Binary: ats2-lang
Architecture: source amd64
Version: 0.1.13-1
Distribution: unstable
Urgency: medium
Maintainer: Matthew Danish <[email protected]>
Changed-By: Matthew Danish <[email protected]>
Description:
ats2-lang - ATS version 2 programming language compiler
Closes: 776293
Changes:
ats2-lang (0.1.13-1) unstable; urgency=medium
.
* New upstream release
* Include patch to support emacs mode (Closes: #776293)
- Courtesy of Kiwamu Okabe.
Checksums-Sha1:
d4717810d80460ce65bebe592c4c77681e1e8de8 1731 ats2-lang_0.1.13-1.dsc
d6cc8b5bcd8a323701d7c6a86cf4466ad36af4b4 3313648 ats2-lang_0.1.13.orig.tar.gz
c6829a40a73e46372529fe26ca155ccbbc965e75 5944 ats2-lang_0.1.13-1.debian.tar.xz
c99b65b4092bc68ed93ef492a7d449692c574eec 705132 ats2-lang_0.1.13-1_amd64.deb
Checksums-Sha256:
3e9dcebb1eae7fb8cff0f722c7d70198888cb23c7d2767865ad3903234eaac19 1731
ats2-lang_0.1.13-1.dsc
c3a61585a47405238b3e03dfa0be3dfe527471b09597719fb2429935e926bdfa 3313648
ats2-lang_0.1.13.orig.tar.gz
621b684bbee8f14b651f33bfa1e94cf235fbf78e76b747b3dfc2dfb584651594 5944
ats2-lang_0.1.13-1.debian.tar.xz
10650b21441f15f08c5c08d8f660d57de027c2b29818dd5fd1a06adfc128f570 705132
ats2-lang_0.1.13-1_amd64.deb
Files:
652c3dfcbc82a5c37c1fcfb274abbceb 1731 devel optional ats2-lang_0.1.13-1.dsc
db84d13a00ea1994a252ef5592747340 3313648 devel optional
ats2-lang_0.1.13.orig.tar.gz
1e7f7d3dc6b8a05b92861e3b52e0590a 5944 devel optional
ats2-lang_0.1.13-1.debian.tar.xz
91c4a3b9745fe97fbddd4eba57878d77 705132 devel optional
ats2-lang_0.1.13-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJVbL5GAAoJELwQvQ97i/CLIDAP/AioLJgo941AqbbPMKriLADy
SujmBKB99ZK/9b+RfRxKM6hMlwVMENHRKyf8gYmSzh6n0p/pZAfzoe4Ek/pEn0ML
OCYMIt108Kgr1SvBPGjx+4Qa9e2jcvs0OE6oo7K9fa3KoZyc7CPHnlU6xDyGqMDV
whEeudSLgKbCGUv4pMIdL3PXk8xzGemeqDXNlF3rg5XfkbFYGAlsA3wnbBX/WQto
ojsPJPsqa0E6lfybDAPzWcS0n/TK+S+RNG2mcpHsK1p3VzlCLrfmBnnkeC7vsdwi
YUDZSktqsDJtNjP6jV1dSwBMWgUVWsS0cZkvmaylr5BjcaE8ahQ3WB4sMvAM5BJe
9kuCvXhEAz8FHkytl5ZFe+CqUAygjKwbisK2ShhssElDB+9Xtj800cImIgXh9DHk
5tZnCxGu9ru6dsV6u1ku+uthuoqyPNzYMEbKFyRw0IX2C+iYN5y8Jvig5aluu5fL
gk0fMKdIJgdt0ZHFnHh7MO5hoJm3OdZkcFFitRkFJfXJRLiIYvCoMWdyIcQTV/oy
FXVl+C3XoGF4LFcVsUp5PicKpEx4wqY/PJnwun8W9JjGp52dkbBVdx4JzypIARvG
7GjFTtgpoRl4MjUwiKKX04f113jJts9Xgit3z/wv0XhQBdQjsEtXfuprmNyJVZMG
5iiG1Vvlyq4HrvBzAuxV
=Yz32
-----END PGP SIGNATURE-----
--- End Message ---
