diff options
| author | krasimir <krasimir@chalmers.se> | 2009-01-22 15:28:10 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-01-22 15:28:10 +0000 |
| commit | 0592994475abeefc132ec36a45fb6dfba5268a3b (patch) | |
| tree | 5c0afe9853507a17d6080f124faba0d80cb148d7 /src/GF/Devel/README-testgf3 | |
| parent | 418b33f9ae6addd8e3289a3dc781c3b7dbe1dd33 (diff) | |
remove the obsolete GF\Devel directory
Diffstat (limited to 'src/GF/Devel/README-testgf3')
| -rw-r--r-- | src/GF/Devel/README-testgf3 | 49 |
1 files changed, 0 insertions, 49 deletions
diff --git a/src/GF/Devel/README-testgf3 b/src/GF/Devel/README-testgf3 deleted file mode 100644 index 0d1b6e80a..000000000 --- a/src/GF/Devel/README-testgf3 +++ /dev/null @@ -1,49 +0,0 @@ -GF3, the next version of GF -Aarne Ranta - - -Version 1: 20/2/2008 - -To compile: - - make testgf3 - -To run: - - testgf3 <options> - -Options: - - -src -- read from source - -doemit -- emit gfn files - -More options (debugging flags): - - -show_gf -- show compiled source module after parsing - -show_extend -- ... after extension - -show_rename -- ... after renaming - -show_typecheck -- ... after type checking - -show_refreshing -- ... after refreshing variables - -show_optimize -- ... after partial evaluation - -show_factorize -- ... after factoring optimization - -show_all -- show all phases - - -1 -- stop after parsing - -2 -- ... extending - -3 -- ... renaming - -4 -- ... type checking - -5 -- ... refreshing - -==Compiler Phases== - -LexGF -ParGF -SourceToGF -Extend -Rename -CheckGrammar -Refresh -Optimize -Factorize -GFtoGFCC - |