Next | Query returned 39 messages, browsing 31 to 40 | previous

History of commit frequency

CVS Commit History:


   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) | Package updated
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) | Package updated
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) | Package updated
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) | Package updated
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) | Package updated
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.

Next | Query returned 39 messages, browsing 31 to 40 | previous