diff options
| author | khorben <khorben@pkgsrc.org> | 2018-02-23 17:04:43 +0000 |
|---|---|---|
| committer | khorben <khorben@pkgsrc.org> | 2018-02-23 17:04:43 +0000 |
| commit | 1c3af9e843a9e7b076c7b2a5c12af722b81964b5 (patch) | |
| tree | 053de25cef2096d2583e4bf709a6c2460134af87 /math/z3/distinfo | |
| parent | 90b96c842161b34cc1c0e6d297062c20d62a8f48 (diff) | |
| download | pkgsrc-1c3af9e843a9e7b076c7b2a5c12af722b81964b5.tar.gz | |
Add support for DESTDIR
Fix building math/z3 in privileged mode when not building as root:
ocamlfind: Cannot mkdir /usr/pkg/lib/ocaml/site-lib/Z3: Permission denied
This now uses the option -destdir when calling ocamlfind(1). It also
includes a workaround for what might be a bug in ocamlfind(1), where it
also wants to update ld.conf in spite of specifying -destdir.
Tested on NetBSD/amd64.
ok dholland@
Diffstat (limited to 'math/z3/distinfo')
| -rw-r--r-- | math/z3/distinfo | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/math/z3/distinfo b/math/z3/distinfo index 753f7438936..2b415d9876b 100644 --- a/math/z3/distinfo +++ b/math/z3/distinfo @@ -1,4 +1,4 @@ -$NetBSD: distinfo,v 1.2 2016/07/16 04:02:13 markd Exp $ +$NetBSD: distinfo,v 1.3 2018/02/23 17:04:43 khorben Exp $ SHA1 (z3-4.4.1.tar.gz) = 60094acaa53459ec694899aca9f17aa830875610 RMD160 (z3-4.4.1.tar.gz) = 2c891e115a5d097dbbda53c1b322c65bc5b679f7 @@ -8,6 +8,6 @@ SHA1 (z3-jumbo-patch-20151123.gz) = d31b8840575536104680bb624b15cc1c2084a7fb RMD160 (z3-jumbo-patch-20151123.gz) = eb74bd41125e1b07a7f873774a2c354e3c8ca378 SHA512 (z3-jumbo-patch-20151123.gz) = c23d363bf53b40c3ccbfc10d03ef3621d6abfa9cf86375e7e853e85a0971db70992173df04df1a895e16d4a9b533e955953455a7533889963d2920a4b48d0056 Size (z3-jumbo-patch-20151123.gz) = 4395 bytes -SHA1 (patch-scripts_mk__util.py) = 1ab32d86649c5b3e83e9b20632d21018a1e22617 +SHA1 (patch-scripts_mk__util.py) = 84ccd3fa33a3fcffa53af6f838f6caacdfec40a8 SHA1 (patch-src_util_debug.cpp) = 607ea4e078884920a3034cf00779dce25fc8e623 SHA1 (patch-src_util_mpz.cpp) = 69988bec1472df14209ae0dbfdc8a94c9e71cc82 |