diff options
author | Cem Keylan <cem@ckyln.com> | 2020-07-17 13:52:51 +0300 |
---|---|---|
committer | Cem Keylan <cem@ckyln.com> | 2020-07-17 13:52:51 +0300 |
commit | dbd66efbb042b12b1e973399c9d8d262cebc0361 (patch) | |
tree | a91816b67a9584ff84b762ec2911dd20684d4e1a /personal/mu | |
parent | f2d19fdf186cf52539d5bccbdcbcc4eb7d005162 (diff) | |
download | repository-dbd66efbb042b12b1e973399c9d8d262cebc0361.tar.gz |
mu: add new package at 1.4.3
Diffstat (limited to 'personal/mu')
-rwxr-xr-x | personal/mu/build | 14 | ||||
-rw-r--r-- | personal/mu/checksums | 1 | ||||
-rw-r--r-- | personal/mu/depends | 6 | ||||
-rw-r--r-- | personal/mu/sources | 1 | ||||
-rw-r--r-- | personal/mu/version | 1 |
5 files changed, 23 insertions, 0 deletions
diff --git a/personal/mu/build b/personal/mu/build new file mode 100755 index 0000000..55d4897 --- /dev/null +++ b/personal/mu/build @@ -0,0 +1,14 @@ +#!/bin/sh -e + +autoreconf -if + +export MAKEINFO=true + +./configure \ + --prefix=/usr \ + --disable-webkit \ + --disable-rpath \ + --disable-shared + +make +make DESTDIR="$1" install diff --git a/personal/mu/checksums b/personal/mu/checksums new file mode 100644 index 0000000..7ab5c42 --- /dev/null +++ b/personal/mu/checksums @@ -0,0 +1 @@ +0f32552165b96d8edbc467e1ef3e2dd521e1d2adbba3462b90ced2dc2930d721 1.4.3.tar.gz diff --git a/personal/mu/depends b/personal/mu/depends new file mode 100644 index 0000000..8d96257 --- /dev/null +++ b/personal/mu/depends @@ -0,0 +1,6 @@ +automake make +gmime +libtool make +pkgconf make +util-linux +xapian diff --git a/personal/mu/sources b/personal/mu/sources new file mode 100644 index 0000000..7a85488 --- /dev/null +++ b/personal/mu/sources @@ -0,0 +1 @@ +https://github.com/djcb/mu/archive/1.4.3.tar.gz diff --git a/personal/mu/version b/personal/mu/version new file mode 100644 index 0000000..f995c26 --- /dev/null +++ b/personal/mu/version @@ -0,0 +1 @@ +1.4.3 1 |