summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNicolas Schodet2012-05-14 15:12:52 +0200
committerNicolas Schodet2012-05-14 15:12:52 +0200
commitd4e44fe78c67c47f8286175d31a6fa45b200a374 (patch)
tree78c36bacdece8d2b5e33f3b23ded500e51c3d32b
parente629da38e585deaebf88fd53dee1a08795d251fe (diff)
digital/io-hub/src/guybrush: add FSM image generation
-rw-r--r--digital/ai/src/fsm/Makefile.fsm17
-rw-r--r--digital/io-hub/src/guybrush/Makefile8
-rw-r--r--digital/io-hub/src/guybrush/main.c1
3 files changed, 21 insertions, 5 deletions
diff --git a/digital/ai/src/fsm/Makefile.fsm b/digital/ai/src/fsm/Makefile.fsm
new file mode 100644
index 00000000..5aa9f32c
--- /dev/null
+++ b/digital/ai/src/fsm/Makefile.fsm
@@ -0,0 +1,17 @@
+fsm: fsm_AI_gen.h
+fsm_AI_gen.avr.c: fsm_AI_gen.h
+dot_AI_1.dot: fsm_AI_gen.h
+fsm_AI_gen.h: io_hub.host
+ ./$< --gen
+ mv fsm_AI_gen.c fsm_AI_gen.avr.c
+
+view: dot_AI_1.view
+png: dot_AI_1.png
+svg: dot_AI_1.svg
+
+%.view: %.dot
+ dot -Txlib $<
+%.png: %.dot
+ dot -Tpng $< > $@
+%.svg: %.dot
+ dot -Tsvg $< > $@
diff --git a/digital/io-hub/src/guybrush/Makefile b/digital/io-hub/src/guybrush/Makefile
index a26a05a4..49558513 100644
--- a/digital/io-hub/src/guybrush/Makefile
+++ b/digital/io-hub/src/guybrush/Makefile
@@ -35,8 +35,6 @@ EXTRA_CLEAN_FILES = fsm_AI_gen.h fsm_AI_gen.avr.c
include $(BASE)/make/Makefile.gen
# FSM generation.
-obj/main.avr.o: fsm_AI_gen.h
-fsm_AI_gen.avr.c: fsm_AI_gen.h
-fsm_AI_gen.h: io_hub.host
- ./$< --gen
- mv fsm_AI_gen.c fsm_AI_gen.avr.c
+include ../../../ai/src/fsm/Makefile.fsm
+
+obj/main.avr.o: fsm
diff --git a/digital/io-hub/src/guybrush/main.c b/digital/io-hub/src/guybrush/main.c
index b6e3f675..046398dc 100644
--- a/digital/io-hub/src/guybrush/main.c
+++ b/digital/io-hub/src/guybrush/main.c
@@ -416,6 +416,7 @@ main (int argc, char **argv)
if (strcmp (argv[i], "--gen") == 0)
{
FSM_GENERATE (AVR, 0);
+ FSM_GEN_DOT (AI);
return 0;
}
#endif