diff options
| author | hallgren <hallgren@chalmers.se> | 2013-11-26 16:32:38 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-11-26 16:32:38 +0000 |
| commit | 3210a506484864430504ed1caf2f547bb674e701 (patch) | |
| tree | ca0eb74dbcc3a204fa9fa9030ae8fbf4c34515d4 /src/compiler | |
| parent | bfea06561d1a5fadf9335a651f0c385869b47f05 (diff) | |
examples/phrasebook: add Makefile2 for parallel grammar compilation
Makefile2 specificies the dependencies accurately enough that you can use
make's support for parallel compilation. Run
make -f Makefile2 -j
to utilize all the cores in your computer to significantly speed up the
creation of Phrasebook.pgf.
Diffstat (limited to 'src/compiler')
0 files changed, 0 insertions, 0 deletions