summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-07-27 14:29:30 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-07-27 14:29:30 +0200
commit28c1633308fa51ebffe9d0e901821d10c13092bc (patch)
tree79df7c0979789eb0f493b0e1e765979bc1748f42
parent51edef030be94b7aa23631f7e40225c60878473f (diff)
Replaces overly fragile method to get first node.
-rw-r--r--cfg-to-paths/Makefile4
1 files changed, 3 insertions, 1 deletions
diff --git a/cfg-to-paths/Makefile b/cfg-to-paths/Makefile
index 3e9c629..c9d14be 100644
--- a/cfg-to-paths/Makefile
+++ b/cfg-to-paths/Makefile
@@ -28,6 +28,8 @@ clean:
%.class: %.java
$(JAVAC) -cp $(CLASSPATH) $<
+PATTERN = 's/\(is_start_node ([0-9]+).*/\1/p'
+
%.cfg.mod: ../ast-to-instr/%.mod $(CLASSES)
- $(eval ROOT_NODE := $(shell head -n 1 $< | grep "[0-9]\+" -o))
+ $(eval ROOT_NODE := $(shell cat $< | grep 'is_start_node' | sed -En $(PATTERN)))
$(JAVA) -cp $(CLASSPATH) Main $< $(ROOT_NODE) "p$(ROOT_NODE)_" $@