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 a3021748..0ac6b300 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 = hash-table.H string-pool.H sexpr.H vm.H +libOpenAxiom_HEADERS = hash-table.H string-pool.H vm.H libOpenAxiom_SOURCES = \ - storage.cc string-pool.cc sexpr.cc command.cc \ + storage.cc string-pool.cc command.cc \ filesystem.cc vm.cc libOpenAxiom_OBJECTS = $(libOpenAxiom_SOURCES:.cc=.lo) -oa_public_headers = hash-table string-pool sexpr vm +oa_public_headers = hash-table string-pool vm ## Where we store public header files oa_target_headerdir = $(oa_target_includedir)/open-axiom |