8 commits

Author	SHA1	Message	Date
khorben	ddf5c47752	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@	2018-02-23 17:04:43 +00:00
jaapb	2db819ded7	Recursive revbump associated with the update to OCaml 4.06.	2018-01-10 16:53:07 +00:00
jaapb	410a1001fa	Recursive revbump associated with update of ocaml to 4.05	2017-09-08 09:51:18 +00:00
jaapb	f70dd873bb	Revbump associated with ocaml-4.04.2	2017-07-11 14:19:18 +00:00
jaapb	11a6e0d383	Recursive revbump associated with ocaml update to 4.04.	2016-12-30 11:16:56 +00:00
markd	8e971ec5da	gcc6 build fix	2016-07-16 04:02:13 +00:00
jaapb	9718550454	Recursive revbump associated with ocaml update.	2016-05-05 11:45:36 +00:00
dholland	77920134c3	Package the Z3 theorem prover / SMT solver from Microsoft Research.	2015-11-24 05:45:58 +00:00