2004-05-21 14:19:43 +01:00
|
|
|
CC = @CC@
|
|
|
|
|
VERSION = @VERSION@
|
|
|
|
|
AM_CFLAGS = @CFLAGS@
|
|
|
|
|
|
|
|
|
|
bin_PROGRAMS = scyther
|
|
|
|
|
scyther_SOURCES = main.c \
|
|
|
|
|
memory.c terms.c termlists.c symbols.c \
|
|
|
|
|
knowledge.c runs.c modelchecker.c \
|
|
|
|
|
report.c debug.c mgu.c substitutions.c \
|
|
|
|
|
match_basic.c match_clp.c constraints.c \
|
|
|
|
|
output.c latex.c varbuf.c tracebuf.c \
|
|
|
|
|
attackminimize.c tac.c \
|
|
|
|
|
compiler.c \
|
2004-05-21 14:48:59 +01:00
|
|
|
scanner.l parser.y
|
2004-05-21 14:19:43 +01:00
|
|
|
scyther_LDADD = @LEXLIB@
|
|
|
|
|
|
|
|
|
|
|
