---
- branch: MAIN
  date: Fri Feb 23 17:04:43 UTC 2018
  files:
  - new: '1.3'
    old: '1.2'
    path: pkgsrc/math/z3/distinfo
    pathrev: pkgsrc/math/z3/distinfo@1.3
    type: modified
  - new: '1.2'
    old: '1.1'
    path: pkgsrc/math/z3/patches/patch-scripts_mk__util.py
    pathrev: pkgsrc/math/z3/patches/patch-scripts_mk__util.py@1.2
    type: modified
  id: 20180223T170443Z.ef7d42c546f953ab8bd965e394a33923b131e330
  log: |
    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@
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/math/z3'
  unixtime: '1519405483'
  user: khorben