aboutsummaryrefslogtreecommitdiff
path: root/src/utils/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'src/utils/Makefile.in')
-rw-r--r--src/utils/Makefile.in9
1 files changed, 6 insertions, 3 deletions
diff --git a/src/utils/Makefile.in b/src/utils/Makefile.in
index 764bda0f..1352cfea 100644
--- a/src/utils/Makefile.in
+++ b/src/utils/Makefile.in
@@ -1,4 +1,4 @@
-# Copyright (C) 2010, Gabriel Dos Reis.
+# Copyright (C) 2011, Gabriel Dos Reis.
# All rights reserved.
#
# Redistribution and use in source and binary forms, with or without
@@ -37,7 +37,7 @@ hammer_OBJECTS = $(hammer_SOURCES:.cc=.lo)
hammer_LDADD = -L. -lOpenAxiom
libOpenAxiom_HEADERS = storage.H hash-table.H string-pool.H sexpr.H
-libOpenAxiom_SOURCES = storage.cc string-pool.cc sexpr.cc
+libOpenAxiom_SOURCES = storage.cc string-pool.cc sexpr.cc command.cc
libOpenAxiom_OBJECTS = $(libOpenAxiom_SOURCES:.cc=.lo)
oa_public_headers = storage hash-table string-pool sexpr
@@ -45,7 +45,10 @@ oa_public_headers = storage hash-table string-pool sexpr
## Where we store public header files
oa_target_headerdir = $(oa_target_includedir)/open-axiom
-oa_include_flags = -I. -I$(oa_target_includedir) -I$(top_builddir)/config
+oa_include_flags = -I. -I$(oa_target_includedir) \
+ -I$(top_builddir)/config \
+ -I$(top_srcdir)/src/include \
+ -DOPENAXIOM_ROOT_DIRECTORY="\"$(open_axiom_installdir)\""
oa_target_oalib = $(axiom_target_libdir)/libOpenAxiom.$(LIBEXT)