@@ -7,9 +7,11 @@ recheck: clean check
7install: check
7install: check
8 mkdir -p $(TARGET)/prelude
8 mkdir -p $(TARGET)/prelude
9 mkdir -p $(TARGET)/network
9 mkdir -p $(TARGET)/network
10+ mkdir -p $(TARGET)/control/monad
10 install *.ibc $(TARGET)
11 install *.ibc $(TARGET)
11 install prelude/*.ibc $(TARGET)/prelude
12 install prelude/*.ibc $(TARGET)/prelude
12 install network/*.ibc $(TARGET)/network
13 install network/*.ibc $(TARGET)/network
14+ install control/monad/*.ibc $(TARGET)/control/monad
14clean: .PHONY
16clean: .PHONY
15 rm -f *.ibc
17 rm -f *.ibc