Update CASE macro, update makefile.

souffle-lang · Sep 24, 2020 · e63d7fd · e63d7fd
1 parent a27ec32
commit e63d7fd
Show file tree

Hide file tree

Showing 2 changed files with 96 additions and 122 deletions.
diff --git a/src/Makefile.am b/src/Makefile.am
@@ -4,7 +4,7 @@
 # - https://opensource.org/licenses/UPL
 # - <souffle root>/licenses/SOUFFLE-UPL.txt
 
-SUBDIRS = . tests ast/tests ram/tests interpreter/tests
+SUBDIRS = . tests ast/tests ram/tests 
 
 SUFFIXES = .cpp .h .yy .ll .cc .hh .h
 
@@ -195,15 +195,13 @@ souffle_sources = \
         interpreter/InterpreterBrieIndex.cpp               \
         interpreter/InterpreterBTreeIndex.cpp              \
         interpreter/InterpreterEqrelIndex.cpp              \
-        interpreter/InterpreterIndirectIndex.cpp           \
         interpreter/InterpreterProvenanceIndex.cpp         \
-        interpreter/InterpreterIndex.cpp                   \
         interpreter/InterpreterIndex.h                     \
         interpreter/InterpreterNode.h                      \
         interpreter/InterpreterViewContext.h               \
         interpreter/InterpreterProgInterface.h             \
-        interpreter/InterpreterRelation.cpp                \
         interpreter/InterpreterRelation.h                  \
+        interpreter/InterpreterUtil.h                  	   \
         parser/ParserDriver.cpp                            \
         parser/ParserDriver.h                              \
         parser/ParserUtils.cpp                             \