summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2018-05-24 12:35:24 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2018-05-24 12:35:24 +0200
commitdd82f0e8b1c252e0c11a802382b9e7840c5aa026 (patch)
tree7860a8b166d3b78dc54626e9e2c8b54261bee256 /Makefile
parent45920f7ea00a9dad68d4f272e8360e4024e9a684 (diff)
Slowly adding things to handle formulas...
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 1c8919f..93ee259 100644
--- a/Makefile
+++ b/Makefile
@@ -46,6 +46,7 @@ ANTLR_SOURCES = $(wildcard $(SRC_DIR)/hastabel/*.g4)
JAVA_SOURCES = \
$(filter-out $(ANTLR_SOURCES:.g4=.java), \
$(wildcard $(SRC_DIR)/hastabel/*.java) \
+ $(wildcard $(SRC_DIR)/hastabel/*/*.java) \
)\
$(ANTLR_SOURCES:.g4=.java)
CLASSES = $(patsubst $(SRC_DIR)/%,$(BIN_DIR)/%, $(JAVA_SOURCES:.java=.class))