diff options
Diffstat (limited to '')
| -rw-r--r-- | Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..5f2da78 --- /dev/null +++ b/Makefile @@ -0,0 +1,8 @@ + +.PHONY: build +build: + mkdir -p build + cd build/ && cmake .. + cd build/ && make + cp build/compile_commands.json . + |
