diff options
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 |