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/rt | |
| parent | 77be242e6af75148771620fcbbaad191d1c11b60 (diff) | |
| download | open-axiom-cea95f2cc443a5bee5cb69476ae73fd99d32fc0d.tar.gz | |
Add s-expression parsing to libopen-axiom-core.a
Diffstat (limited to 'src/rt')
| -rw-r--r-- | src/rt/Makefile.am | 6 | ||||
| -rw-r--r-- | src/rt/Makefile.in | 10 |
2 files changed, 11 insertions, 5 deletions
diff --git a/src/rt/Makefile.am b/src/rt/Makefile.am index 8c3fdc14..90083687 100644 --- a/src/rt/Makefile.am +++ b/src/rt/Makefile.am @@ -1,4 +1,4 @@ -# Copyright (C) 2013-2014, Gabriel Dos Reis. +# Copyright (C) 2013-2017, Gabriel Dos Reis. # All rights reserved. # # Redistribution and use in source and binary forms, with or without @@ -32,7 +32,9 @@ noinst_PROGRAMS = lisp lisp_SOURCES = driver.cc -lisp_LDADD = $(oa_target_libdir)/libOpenAxiom.a +lisp_LDADD = \ + $(oa_target_libdir)/libOpenAxiom.a \ + $(oa_target_libdir)/libopen-axiom-core.a AM_CXXFLAGS = \ -I$(top_srcdir)/src/include \ diff --git a/src/rt/Makefile.in b/src/rt/Makefile.in index 2f7147a0..3a4cce43 100644 --- a/src/rt/Makefile.in +++ b/src/rt/Makefile.in @@ -14,7 +14,7 @@ @SET_MAKE@ -# Copyright (C) 2013-2014, Gabriel Dos Reis. +# Copyright (C) 2013-2017, Gabriel Dos Reis. # All rights reserved. # # Redistribution and use in source and binary forms, with or without @@ -140,7 +140,8 @@ CONFIG_CLEAN_VPATH_FILES = PROGRAMS = $(noinst_PROGRAMS) am_lisp_OBJECTS = driver.$(OBJEXT) lisp_OBJECTS = $(am_lisp_OBJECTS) -lisp_DEPENDENCIES = $(oa_target_libdir)/libOpenAxiom.a +lisp_DEPENDENCIES = $(oa_target_libdir)/libOpenAxiom.a \ + $(oa_target_libdir)/libopen-axiom-core.a AM_V_lt = $(am__v_lt_@AM_V@) am__v_lt_ = $(am__v_lt_@AM_DEFAULT_V@) am__v_lt_0 = --silent @@ -401,7 +402,10 @@ top_builddir = @top_builddir@ top_srcdir = @top_srcdir@ void_type = @void_type@ lisp_SOURCES = driver.cc -lisp_LDADD = $(oa_target_libdir)/libOpenAxiom.a +lisp_LDADD = \ + $(oa_target_libdir)/libOpenAxiom.a \ + $(oa_target_libdir)/libopen-axiom-core.a + AM_CXXFLAGS = \ -I$(top_srcdir)/src/include \ -I$(oa_target_includedir) \ |