2023-03-26 19:15:17 +08:00
|
|
|
all:
|
2023-05-13 22:41:13 +08:00
|
|
|
$(MAKE) -C "/pub/netdisk1/qianyh/Light/kissat-inc/build"
|
2023-03-26 19:15:17 +08:00
|
|
|
kissat:
|
2023-05-13 22:41:13 +08:00
|
|
|
$(MAKE) -C "/pub/netdisk1/qianyh/Light/kissat-inc/build" kissat
|
2023-03-26 19:15:17 +08:00
|
|
|
tissat:
|
2023-05-13 22:41:13 +08:00
|
|
|
$(MAKE) -C "/pub/netdisk1/qianyh/Light/kissat-inc/build" tissat
|
2023-03-26 19:15:17 +08:00
|
|
|
clean:
|
2023-05-13 22:41:13 +08:00
|
|
|
rm -f "/pub/netdisk1/qianyh/Light/kissat-inc"/makefile
|
|
|
|
|
-$(MAKE) -C "/pub/netdisk1/qianyh/Light/kissat-inc/build" clean
|
|
|
|
|
rm -rf "/pub/netdisk1/qianyh/Light/kissat-inc/build"
|
2023-03-26 19:15:17 +08:00
|
|
|
coverage:
|
2023-05-13 22:41:13 +08:00
|
|
|
$(MAKE) -C "/pub/netdisk1/qianyh/Light/kissat-inc/build" coverage
|
2023-03-26 19:15:17 +08:00
|
|
|
indent:
|
2023-05-13 22:41:13 +08:00
|
|
|
$(MAKE) -C "/pub/netdisk1/qianyh/Light/kissat-inc/build" indent
|
2023-03-26 19:15:17 +08:00
|
|
|
test:
|
2023-05-13 22:41:13 +08:00
|
|
|
$(MAKE) -C "/pub/netdisk1/qianyh/Light/kissat-inc/build" test
|
2023-03-26 19:15:17 +08:00
|
|
|
.PHONY: all clean coverage indent kissat test tissat
|
