summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-08-15 18:43:56 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-08-15 18:43:56 +0200
commitbe92d1955a45b81e3d7f4af26497c3d73aa46ceb (patch)
tree1aa263fc71d62f85d59e6bdc142b97bf4bb47e6d /Makefile
parentb45d145f19c7818db7a890117b089ebf3f891947 (diff)
Partial attr. support, build/run targets, literals
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index cb755f3..dedb0e3 100644
--- a/Makefile
+++ b/Makefile
@@ -26,6 +26,11 @@ clean:
$(MAKE) -C $(SOLVER) clean
$(MAKE) -C $(PRETTY_PRINTER) clean
+build:
+ $(MAKE) -C $(AST_TO_INSTR) build
+ $(MAKE) -C $(SOLVER) build
+ $(MAKE) -C $(PRETTY_PRINTER) build
+
$(TMP_DIR):
mkdir -p $@