diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2017-01-15 09:14:39 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2017-01-15 09:14:39 -0800 |
commit | cea95f2cc443a5bee5cb69476ae73fd99d32fc0d (patch) | |
tree | ca8765a4f777fbc131423b13e17ca2be56b6a251 /src/utils/Makefile.am | |
parent | 77be242e6af75148771620fcbbaad191d1c11b60 (diff) | |
download | open-axiom-cea95f2cc443a5bee5cb69476ae73fd99d32fc0d.tar.gz |
Add s-expression parsing to libopen-axiom-core.a
Diffstat (limited to 'src/utils/Makefile.am')
-rw-r--r-- | src/utils/Makefile.am | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/utils/Makefile.am b/src/utils/Makefile.am index d2f49303..a4963851 100644 --- a/src/utils/Makefile.am +++ b/src/utils/Makefile.am @@ -37,10 +37,9 @@ hammer_LDADD = \ noinst_LIBRARIES = libOpenAxiom.a libOpenAxiom_a_SOURCES = \ - storage.cc string-pool.cc command.cc \ + string-pool.cc command.cc \ filesystem.cc \ ../io/Input.cc \ - ../syntax/sexpr.cc \ ../rt/vm.cc \ ../rt/Lisp.cc \ ../rt/Database.cc |