diff --git a/kissat-inc/makefile b/kissat-inc/makefile index 2aa6faf..db6dce3 100644 --- a/kissat-inc/makefile +++ b/kissat-inc/makefile @@ -1,17 +1,17 @@ all: - $(MAKE) -C "/home/qianyh/projects/Light/kissat-inc/build" + $(MAKE) -C "/root/cloud-sat/kissat-inc/build" kissat: - $(MAKE) -C "/home/qianyh/projects/Light/kissat-inc/build" kissat + $(MAKE) -C "/root/cloud-sat/kissat-inc/build" kissat tissat: - $(MAKE) -C "/home/qianyh/projects/Light/kissat-inc/build" tissat + $(MAKE) -C "/root/cloud-sat/kissat-inc/build" tissat clean: - rm -f "/home/qianyh/projects/Light/kissat-inc"/makefile - -$(MAKE) -C "/home/qianyh/projects/Light/kissat-inc/build" clean - rm -rf "/home/qianyh/projects/Light/kissat-inc/build" + rm -f "/root/cloud-sat/kissat-inc"/makefile + -$(MAKE) -C "/root/cloud-sat/kissat-inc/build" clean + rm -rf "/root/cloud-sat/kissat-inc/build" coverage: - $(MAKE) -C "/home/qianyh/projects/Light/kissat-inc/build" coverage + $(MAKE) -C "/root/cloud-sat/kissat-inc/build" coverage indent: - $(MAKE) -C "/home/qianyh/projects/Light/kissat-inc/build" indent + $(MAKE) -C "/root/cloud-sat/kissat-inc/build" indent test: - $(MAKE) -C "/home/qianyh/projects/Light/kissat-inc/build" test + $(MAKE) -C "/root/cloud-sat/kissat-inc/build" test .PHONY: all clean coverage indent kissat test tissat diff --git a/src-light-master/utils/hashmap.o b/src-light-master/utils/hashmap.o deleted file mode 100644 index bbde904..0000000 Binary files a/src-light-master/utils/hashmap.o and /dev/null differ diff --git a/src-light-master/utils/paras.hpp b/src-light-master/utils/paras.hpp index 5a63ca0..e48eea8 100644 --- a/src-light-master/utils/paras.hpp +++ b/src-light-master/utils/paras.hpp @@ -1,6 +1,7 @@ #ifndef _paras_hpp_INCLUDED #define _paras_hpp_INCLUDED +#include #include #include diff --git a/src-light-master/utils/paras.o b/src-light-master/utils/paras.o deleted file mode 100644 index 642612f..0000000 Binary files a/src-light-master/utils/paras.o and /dev/null differ diff --git a/src-light-master/utils/parse.o b/src-light-master/utils/parse.o deleted file mode 100644 index ed267c4..0000000 Binary files a/src-light-master/utils/parse.o and /dev/null differ diff --git a/src-light-solver/paras.hpp b/src-light-solver/paras.hpp index 8fc233f..abf07a9 100644 --- a/src-light-solver/paras.hpp +++ b/src-light-solver/paras.hpp @@ -1,6 +1,7 @@ #ifndef _paras_hpp_INCLUDED #define _paras_hpp_INCLUDED +#include #include #include diff --git a/src-light-solver/utils/hashmap.o b/src-light-solver/utils/hashmap.o deleted file mode 100644 index bbde904..0000000 Binary files a/src-light-solver/utils/hashmap.o and /dev/null differ diff --git a/src-light-solver/utils/paras.o b/src-light-solver/utils/paras.o deleted file mode 100644 index 642612f..0000000 Binary files a/src-light-solver/utils/paras.o and /dev/null differ diff --git a/src-light-solver/utils/parse.o b/src-light-solver/utils/parse.o deleted file mode 100644 index ed267c4..0000000 Binary files a/src-light-solver/utils/parse.o and /dev/null differ