| commit | c4a9f458ac5aa1211c60a869764db7e4b2994370 | [log] [tgz] |
|---|---|---|
| author | Shawn Pearce <sop@google.com> | Thu Mar 19 20:31:27 2015 -0700 |
| committer | Shawn Pearce <sop@google.com> | Thu Mar 19 21:33:55 2015 -0700 |
| tree | 2049bf1c2eec95cdb35336a94d31e594efa20382 | |
| parent | 9f5a0e10c73e1d473bd9c53e784bd42908cb6c8d [diff] |
Add options to PrologMain to emulate usage in Gerrit Disable features by default like IO and STATISTICS but allow them to be enabled with flags on the command line. Allow the caller to parse files outside of Prolog similar to Gerrit by passing in `-f foo.pl` flags to consult from a stream that was opened outside of Prolog. Cap the database size at 256 by default, similar to Gerrit capping the user database. Allow this to be raised using a flag on the command line. By default launch into the repl similar to SWI-Prolog. Change-Id: Icaf1ef7ff3bd2f19a7ded4735e1fc945ef7bbbb6
A fork of Mutsunori BANBARA‘s PrologCafe to support Gerrit Code Review’s customizable project rules.
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