blob: dbbb51297ae292824cd2a5348d5b4eae5c5ff174 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
# Maintainer: Michał Wojdyła < micwoj9292 at gmail dot com
# Contributor: Mort Yao <soi@mort.ninja>
pkgname=emacs-idris-mode-git
pkgver=20240619
pkgrel=1
pkgdesc="Major mode for editing Idris."
arch=('any')
url="https://github.com/idris-hackers/idris-mode"
license=('GPL-3.0-or-later')
depends=('emacs' 'emacs-prop-menu')
makedepends=('git')
provides=('emacs-idris-mode')
conflicts=('emacs-idris-mode')
install=$pkgname.install
source=("git+https://github.com/idris-hackers/idris-mode")
b2sums=('SKIP')
_gitname="idris-mode"
pkgver() {
cd $_gitname
git log -1 --format='%cd' --date=short | tr -d -- '-'
}
package() {
cd $_gitname
mkdir -p $pkgdir/usr/share/emacs/site-lisp/idris-mode
cp -R $srcdir/idris-mode/*.el $pkgdir/usr/share/emacs/site-lisp/idris-mode
}
|