Subject: CVS commit: pkgsrc/math/z3
From: Pierre Pronchery
Date: 2018-02-23 18:04:43
Message id: 20180223170443.C374CFB40@cvs.NetBSD.org

Log Message:
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@

Files:
RevisionActionfile
1.3modifypkgsrc/math/z3/distinfo
1.2modifypkgsrc/math/z3/patches/patch-scripts_mk__util.py