diff options
Diffstat (limited to 'src/main/Makefile.am')
-rw-r--r-- | src/main/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/Makefile.am b/src/main/Makefile.am index aa63846cf..6b09fcc27 100644 --- a/src/main/Makefile.am +++ b/src/main/Makefile.am @@ -61,13 +61,13 @@ BUILT_SOURCES = \ TOKENS_FILES = \ cvc_tokens.h \ - smt_tokens.h \ + smt1_tokens.h \ smt2_tokens.h \ 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 >$@ -smt_tokens.h: @srcdir@/../parser/smt/Smt.g +smt1_tokens.h: @srcdir@/../parser/smt1/Smt1.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 >$@ 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 >$@ |