2018-02-27 09:34:16 by Thomas Klausner | Files touched by this commit (1) |
Log message: z3: forbid python 3.x First complains about indentation problems, then about reading non-ASCII bytes. |
2018-02-23 18:04:43 by Pierre Pronchery | Files touched by this commit (2) | ![]() |
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@ |
2018-01-10 17:53:15 by Jaap Boender | Files touched by this commit (107) | ![]() |
Log message: Recursive revbump associated with the update to OCaml 4.06. |
2017-09-08 11:51:27 by Jaap Boender | Files touched by this commit (113) | ![]() |
Log message: Recursive revbump associated with update of ocaml to 4.05 |
2017-07-11 16:19:23 by Jaap Boender | Files touched by this commit (71) |
Log message: Revbump associated with ocaml-4.04.2 |
2016-12-30 12:17:03 by Jaap Boender | Files touched by this commit (89) | ![]() |
Log message: Recursive revbump associated with ocaml update to 4.04. |
2016-07-16 06:02:13 by Mark Davies | Files touched by this commit (3) |
Log message: gcc6 build fix |
2016-05-05 13:45:43 by Jaap Boender | Files touched by this commit (91) | ![]() |
Log message: Recursive revbump associated with ocaml update. |
2015-11-24 06:45:58 by David A. Holland | Files touched by this commit (6) |
Log message: Package the Z3 theorem prover / SMT solver from Microsoft Research. |