diff options
author | dos-reis <gdr@axiomatics.org> | 2014-11-18 02:14:12 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2014-11-18 02:14:12 +0000 |
commit | 8c3ecc5bfb24190fee0244a6826bbddf136f9484 (patch) | |
tree | 76f4eb23c6badd1ff952f41c2cf6f5ae633df025 /src/utils | |
parent | 9e1699c14362f6c8f63354a93125ec8b1f6f1e9c (diff) | |
download | open-axiom-8c3ecc5bfb24190fee0244a6826bbddf136f9484.tar.gz |
Add visitor to Dynamic values.
Diffstat (limited to 'src/utils')
-rw-r--r-- | src/utils/Makefile.am | 5 | ||||
-rw-r--r-- | src/utils/Makefile.in | 30 |
2 files changed, 30 insertions, 5 deletions
diff --git a/src/utils/Makefile.am b/src/utils/Makefile.am index 74b0e6f7..8c0bec65 100644 --- a/src/utils/Makefile.am +++ b/src/utils/Makefile.am @@ -41,7 +41,10 @@ libOpenAxiom_a_SOURCES = \ ../io/Input.cc \ ../io/std-streams.cc \ ../syntax/token.cc \ - ../syntax/sexpr.cc + ../syntax/sexpr.cc \ + ../rt/vm.cc \ + ../rt/Lisp.cc \ + ../rt/Database.cc oa_public_headers = hash-table string-pool diff --git a/src/utils/Makefile.in b/src/utils/Makefile.in index 02d718b3..4600bb81 100644 --- a/src/utils/Makefile.in +++ b/src/utils/Makefile.in @@ -140,7 +140,8 @@ am__dirstamp = $(am__leading_dot)dirstamp am_libOpenAxiom_a_OBJECTS = storage.$(OBJEXT) string-pool.$(OBJEXT) \ command.$(OBJEXT) filesystem.$(OBJEXT) ../io/Input.$(OBJEXT) \ ../io/std-streams.$(OBJEXT) ../syntax/token.$(OBJEXT) \ - ../syntax/sexpr.$(OBJEXT) + ../syntax/sexpr.$(OBJEXT) ../rt/vm.$(OBJEXT) \ + ../rt/Lisp.$(OBJEXT) ../rt/Database.$(OBJEXT) libOpenAxiom_a_OBJECTS = $(am_libOpenAxiom_a_OBJECTS) PROGRAMS = $(noinst_PROGRAMS) am_hammer_OBJECTS = hammer.$(OBJEXT) @@ -412,7 +413,10 @@ libOpenAxiom_a_SOURCES = \ ../io/Input.cc \ ../io/std-streams.cc \ ../syntax/token.cc \ - ../syntax/sexpr.cc + ../syntax/sexpr.cc \ + ../rt/vm.cc \ + ../rt/Lisp.cc \ + ../rt/Database.cc oa_public_headers = hash-table string-pool oa_target_headerdir = $(oa_target_includedir)/open-axiom @@ -481,6 +485,18 @@ clean-noinstLIBRARIES: ../syntax/$(DEPDIR)/$(am__dirstamp) ../syntax/sexpr.$(OBJEXT): ../syntax/$(am__dirstamp) \ ../syntax/$(DEPDIR)/$(am__dirstamp) +../rt/$(am__dirstamp): + @$(MKDIR_P) ../rt + @: > ../rt/$(am__dirstamp) +../rt/$(DEPDIR)/$(am__dirstamp): + @$(MKDIR_P) ../rt/$(DEPDIR) + @: > ../rt/$(DEPDIR)/$(am__dirstamp) +../rt/vm.$(OBJEXT): ../rt/$(am__dirstamp) \ + ../rt/$(DEPDIR)/$(am__dirstamp) +../rt/Lisp.$(OBJEXT): ../rt/$(am__dirstamp) \ + ../rt/$(DEPDIR)/$(am__dirstamp) +../rt/Database.$(OBJEXT): ../rt/$(am__dirstamp) \ + ../rt/$(DEPDIR)/$(am__dirstamp) libOpenAxiom.a: $(libOpenAxiom_a_OBJECTS) $(libOpenAxiom_a_DEPENDENCIES) $(EXTRA_libOpenAxiom_a_DEPENDENCIES) $(AM_V_at)-rm -f libOpenAxiom.a @@ -503,6 +519,7 @@ hammer$(EXEEXT): $(hammer_OBJECTS) $(hammer_DEPENDENCIES) $(EXTRA_hammer_DEPENDE mostlyclean-compile: -rm -f *.$(OBJEXT) -rm -f ../io/*.$(OBJEXT) + -rm -f ../rt/*.$(OBJEXT) -rm -f ../syntax/*.$(OBJEXT) distclean-compile: @@ -510,6 +527,9 @@ distclean-compile: @AMDEP_TRUE@@am__include@ @am__quote@../io/$(DEPDIR)/Input.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@../io/$(DEPDIR)/std-streams.Po@am__quote@ +@AMDEP_TRUE@@am__include@ @am__quote@../rt/$(DEPDIR)/Database.Po@am__quote@ +@AMDEP_TRUE@@am__include@ @am__quote@../rt/$(DEPDIR)/Lisp.Po@am__quote@ +@AMDEP_TRUE@@am__include@ @am__quote@../rt/$(DEPDIR)/vm.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@../syntax/$(DEPDIR)/sexpr.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@../syntax/$(DEPDIR)/token.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/command.Po@am__quote@ @@ -662,6 +682,8 @@ distclean-generic: -test . = "$(srcdir)" || test -z "$(CONFIG_CLEAN_VPATH_FILES)" || rm -f $(CONFIG_CLEAN_VPATH_FILES) -rm -f ../io/$(DEPDIR)/$(am__dirstamp) -rm -f ../io/$(am__dirstamp) + -rm -f ../rt/$(DEPDIR)/$(am__dirstamp) + -rm -f ../rt/$(am__dirstamp) -rm -f ../syntax/$(DEPDIR)/$(am__dirstamp) -rm -f ../syntax/$(am__dirstamp) @@ -674,7 +696,7 @@ clean-am: clean-generic clean-libtool clean-noinstLIBRARIES \ clean-noinstPROGRAMS mostlyclean-am distclean: distclean-am - -rm -rf ../io/$(DEPDIR) ../syntax/$(DEPDIR) ./$(DEPDIR) + -rm -rf ../io/$(DEPDIR) ../rt/$(DEPDIR) ../syntax/$(DEPDIR) ./$(DEPDIR) -rm -f Makefile distclean-am: clean-am distclean-compile distclean-generic \ distclean-tags @@ -720,7 +742,7 @@ install-ps-am: installcheck-am: maintainer-clean: maintainer-clean-am - -rm -rf ../io/$(DEPDIR) ../syntax/$(DEPDIR) ./$(DEPDIR) + -rm -rf ../io/$(DEPDIR) ../rt/$(DEPDIR) ../syntax/$(DEPDIR) ./$(DEPDIR) -rm -f Makefile maintainer-clean-am: distclean-am maintainer-clean-generic |