diff options
Diffstat (limited to 'extra')
| -rwxr-xr-x | extra/p11-kit/build | 9 | ||||
| -rw-r--r-- | extra/p11-kit/checksums | 1 | ||||
| -rw-r--r-- | extra/p11-kit/sources | 1 | ||||
| -rw-r--r-- | extra/p11-kit/version | 1 |
4 files changed, 12 insertions, 0 deletions
diff --git a/extra/p11-kit/build b/extra/p11-kit/build new file mode 100755 index 00000000..2d01af26 --- /dev/null +++ b/extra/p11-kit/build @@ -0,0 +1,9 @@ +#!/bin/sh -e + +./configure \ + --prefix=/usr \ + --sysconfdir=/etc \ + --with-trust-paths=/etc/pki/anchors + +make +make DESTDIR="$1" install diff --git a/extra/p11-kit/checksums b/extra/p11-kit/checksums new file mode 100644 index 00000000..871a69ae --- /dev/null +++ b/extra/p11-kit/checksums @@ -0,0 +1 @@ +34c3bd8c0050dd7c4e6228aecf0f168de0a1b34562ddbf74a1c70904c2523c6f p11-kit-0.23.18.1.tar.gz diff --git a/extra/p11-kit/sources b/extra/p11-kit/sources new file mode 100644 index 00000000..baed9c7c --- /dev/null +++ b/extra/p11-kit/sources @@ -0,0 +1 @@ +https://github.com/p11-glue/p11-kit/releases/download/0.23.18.1/p11-kit-0.23.18.1.tar.gz diff --git a/extra/p11-kit/version b/extra/p11-kit/version new file mode 100644 index 00000000..62dd992e --- /dev/null +++ b/extra/p11-kit/version @@ -0,0 +1 @@ +0.23.18.1 1 |