Google Git
Sign in
gerrit / prolog-cafe / 6ac9bc974598d5463b824d2fbe52d35080f21f2a
commit6ac9bc974598d5463b824d2fbe52d35080f21f2a[log] [tgz]
authorShawn Pearce <sop@google.com>Thu Mar 12 16:39:27 2015 -0700
committerShawn Pearce <sop@google.com>Thu Mar 12 16:39:27 2015 -0700
tree9695d0186cbd55039379bd118d5a9970c5b675a4
parentf863c56471bc596b4ff0c868a5343b53b64729be [diff]
Expand statistics feature to cover all vm stats

Block access to the choice point stack and trail stats
unless the statistics feature is enabled for the VM.

Change-Id: Ifb7baa1ddc1605c3324e0c1f5f802b1daf2b6f05
2 files changed
tree: 9695d0186cbd55039379bd118d5a9970c5b675a4
  1. .settings/
  2. bin/
  3. examples/
  4. java/
  5. src/
  6. bucklets
  7. .buckversion ⇨ bucklets/buckversion
  8. .watchmanconfig ⇨ bucklets/watchmanconfig
  9. .buckconfig
  10. .classpath
  11. .gitignore
  12. .gitmodules
  13. .project
  14. bootstrap.defs
  15. BUCK
  16. fake_pom_install.xml
  17. LICENSE
  18. LICENSE.EPL
  19. LICENSE.GPL
  20. README.md
README.md

Prolog Cafe

A fork of Mutsunori BANBARA‘s PrologCafe to support Gerrit Code Review’s customizable project rules.

Build

To bootstrap Buck and SWI-Prolog >= 6.6.4 must be installed and then build the runtime and compiler with:

buck build all

To package for Maven into the local ~/.m2/repository directory:

buck build install

To publish to the gerrit-maven storage bucket:

buck build deploy