diff options
Diffstat (limited to 'mk/repro')
-rwxr-xr-x | mk/repro/ar | 11 | ||||
-rw-r--r-- | mk/repro/repro.mk | 15 |
2 files changed, 26 insertions, 0 deletions
diff --git a/mk/repro/ar b/mk/repro/ar new file mode 100755 index 00000000000..69878dca680 --- /dev/null +++ b/mk/repro/ar @@ -0,0 +1,11 @@ +#!/bin/sh + +if [ $# -ge 2 ]; then + args="$1" + mod="$2" + shift 2 + + exec /usr/bin/ar "$mod$args" "$@" +else + exec /usr/bin/ar "$@" +fi diff --git a/mk/repro/repro.mk b/mk/repro/repro.mk new file mode 100644 index 00000000000..eb821cb397c --- /dev/null +++ b/mk/repro/repro.mk @@ -0,0 +1,15 @@ +# $NetBSD: repro.mk,v 1.1 2017/11/12 13:34:14 khorben Exp $ +# +# Infrastructure support for PKGSRC_MKREPRO. +# +# Keywords: reproducible +# + +.if ${_PKGSRC_MKREPRO} == "yes" + +# force ar(1) to be deterministic +TOOLS_CREATE+= ar +TOOLS_PATH.ar?= ${PKGSRCDIR}/mk/repro/ar +TOOLS_ARGS.ar?= D + +.endif |