diff options
Diffstat (limited to 'src/main/Makefile.am')
-rw-r--r-- | src/main/Makefile.am | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/main/Makefile.am b/src/main/Makefile.am index e6aa6b423..594751358 100644 --- a/src/main/Makefile.am +++ b/src/main/Makefile.am @@ -53,7 +53,8 @@ BUILT_SOURCES = \ TOKENS_FILES = \ cvc_tokens.h \ smt_tokens.h \ - smt2_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 >$@ @@ -61,6 +62,8 @@ 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 >$@ 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 >$@ +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 >$@ clean-local: rm -f $(BUILT_SOURCES) |