diff --git a/src/Makefile.am b/src/Makefile.am index 6b5dece..4e431c5 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -7,12 +7,27 @@ BUILT_SOURCES = parser.h bin_PROGRAMS = scyther scyther_SOURCES = main.c \ scanner.l parser.y \ - 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 + memory.c memory.h \ + terms.c terms.h \ + termlists.c termlists.h \ + symbols.c symbols.h \ + knowledge.c knowledge.h \ + runs.c runs.h \ + modelchecker.c modelchecker.h \ + report.c report.h \ + debug.c debug.h \ + mgu.c mgu.h \ + substitutions.c substitutions.h \ + match_basic.c match_basic.h \ + match_clp.c match_clp.h \ + constraints.c constraints.h \ + output.c output.h \ + latex.c latex.h \ + varbuf.c varbuf.h \ + tracebuf.c tracebuf.h \ + attackminimize.c attackminimize.h \ + tac.c tac.h \ + compiler.c compiler.h \ + pheading.h scyther_LDADD = @LEXLIB@