diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-08-07 21:11:16 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-08-07 21:11:16 +0000 |
| commit | dba5212c55bcd2b513f197ddd06cd7de6964ff0b (patch) | |
| tree | fa2ce74884f9e57348e95d9c4f4638f9196fc382 /src/main/Makefile.am | |
| parent | b0deae79d8bae5051a85dc15e43e7b83bc8cf9ab (diff) | |
some fixes to command and declaration tab-completion in interactive shell
Diffstat (limited to 'src/main/Makefile.am')
| -rw-r--r-- | src/main/Makefile.am | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/main/Makefile.am b/src/main/Makefile.am index 730afa32d..c1291e7ec 100644 --- a/src/main/Makefile.am +++ b/src/main/Makefile.am @@ -57,13 +57,13 @@ TOKENS_FILES = \ tptp_tokens.h cvc_tokens.h: @srcdir@/../parser/cvc/Cvc.g - $(AM_V_GEN)grep "'[a-zA-Z][a-zA-Z0-9][a-zA-Z0-9]*'" $^ | sed 's/.*'\''\([a-zA-Z0-9]*\)'\''.*/"\1",/' | sort -u >$@ + $(AM_V_GEN)grep "'[a-zA-Z][a-zA-Z0-9_-][a-zA-Z0-9_-]*'" $^ | sed 's/.*'\''\([a-zA-Z0-9_-]*\)'\''.*/"\1",/' | sort -u >$@ smt_tokens.h: @srcdir@/../parser/smt/Smt.g - $(AM_V_GEN)grep "'[a-zA-Z][a-zA-Z0-9][a-zA-Z0-9]*'" $^ | sed 's/.*'\''\([a-zA-Z0-9]*\)'\''.*/"\1",/' | sort -u >$@ + $(AM_V_GEN)grep "'[a-zA-Z][a-zA-Z0-9_-][a-zA-Z0-9_-]*'" $^ | sed 's/.*'\''\([a-zA-Z0-9_-]*\)'\''.*/"\1",/' | sort -u >$@ smt2_tokens.h: @srcdir@/../parser/smt2/Smt2.g - $(AM_V_GEN)grep "'[a-zA-Z][a-zA-Z0-9][a-zA-Z0-9]*'" $^ | sed 's/.*'\''\([a-zA-Z0-9]*\)'\''.*/"\1",/' | sort -u >$@ + $(AM_V_GEN)grep "'[a-zA-Z][a-zA-Z0-9_-][a-zA-Z0-9_-]*'" $^ | sed 's/.*'\''\([a-zA-Z0-9_-]*\)'\''.*/"\1",/' | sort -u >$@ tptp_tokens.h: @srcdir@/../parser/tptp/Tptp.g - $(AM_V_GEN)grep "'[a-zA-Z][a-zA-Z0-9][a-zA-Z0-9]*'" $^ | sed 's/.*'\''\([a-zA-Z0-9]*\)'\''.*/"\1",/' | sort -u >$@ + $(AM_V_GEN)grep "'[a-zA-Z][a-zA-Z0-9_-][a-zA-Z0-9_-]*'" $^ | sed 's/.*'\''\([a-zA-Z0-9_-]*\)'\''.*/"\1",/' | sort -u >$@ EXTRA_DIST = \ options_handlers.h |