diff options
Diffstat (limited to 'core/mandoc')
| -rwxr-xr-x | core/mandoc/build | 25 | ||||
| -rw-r--r-- | core/mandoc/checksums | 1 | ||||
| -rw-r--r-- | core/mandoc/depends | 1 | ||||
| -rw-r--r-- | core/mandoc/sources | 1 | ||||
| -rw-r--r-- | core/mandoc/version | 1 |
5 files changed, 29 insertions, 0 deletions
diff --git a/core/mandoc/build b/core/mandoc/build new file mode 100755 index 00000000..5b015e39 --- /dev/null +++ b/core/mandoc/build @@ -0,0 +1,25 @@ +#!/bin/sh -e + +sed -i 's,"more -s","less",g' main.c + +cat > configure.local <<EOF +PREFIX=/usr +MANDIR=/usr/share/man +LIBDIR=/usr/lib +CC="${CC:-gcc}" +CFLAGS="$CFLAGS" +MANPATH_DEFAULT=/usr/share/man +LN="ln -sf" +EOF + +MANPATH_BASE=/usr/share/man ./configure +make +make -j1 DESTDIR="$1" base-install lib-install + +# Make binaries writable. +chmod -v u+w "$1/usr/bin/"* + +# Remove all development files. +rm -rf "$1/usr/include" \ + "$1/usr/lib" \ + "$1/usr/share/man/man3" diff --git a/core/mandoc/checksums b/core/mandoc/checksums new file mode 100644 index 00000000..05dfea01 --- /dev/null +++ b/core/mandoc/checksums @@ -0,0 +1 @@ +8219b42cb56fc07b2aa660574e6211ac38eefdbf21f41b698d3348793ba5d8f7 mandoc-1.14.5.tar.gz diff --git a/core/mandoc/depends b/core/mandoc/depends new file mode 100644 index 00000000..f22003e8 --- /dev/null +++ b/core/mandoc/depends @@ -0,0 +1 @@ +zlib diff --git a/core/mandoc/sources b/core/mandoc/sources new file mode 100644 index 00000000..85f63e7e --- /dev/null +++ b/core/mandoc/sources @@ -0,0 +1 @@ +https://fossies.org/linux/misc/mandoc-1.14.5.tar.gz diff --git a/core/mandoc/version b/core/mandoc/version new file mode 100644 index 00000000..9507d448 --- /dev/null +++ b/core/mandoc/version @@ -0,0 +1 @@ +1.14.5 2 |