diff options
Diffstat (limited to 'src/utils/Makefile.in')
| -rw-r--r-- | src/utils/Makefile.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/utils/Makefile.in b/src/utils/Makefile.in index dd2d3154..e9734fd2 100644 --- a/src/utils/Makefile.in +++ b/src/utils/Makefile.in @@ -36,14 +36,14 @@ hammer_SOURCES = hammer.cc hammer_OBJECTS = $(hammer_SOURCES:.cc=.lo) hammer_LDADD = -L. -lOpenAxiom -libOpenAxiom_HEADERS = storage.H hash-table.H string-pool.H sexpr.H +libOpenAxiom_HEADERS = storage.H hash-table.H string-pool.H sexpr.H vm.H libOpenAxiom_SOURCES = \ storage.cc string-pool.cc sexpr.cc command.cc \ - filesystem.cc + filesystem.cc vm.cc libOpenAxiom_OBJECTS = $(libOpenAxiom_SOURCES:.cc=.lo) -oa_public_headers = storage hash-table string-pool sexpr +oa_public_headers = storage hash-table string-pool sexpr vm ## Where we store public header files oa_target_headerdir = $(oa_target_includedir)/open-axiom |