diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index df7d850..0000000 --- a/Makefile +++ /dev/null @@ -1,30 +0,0 @@ -debug: - mkdir -p Debug - cmake -DCMAKE_BUILD_TYPE=Debug -B Debug - cmake --build Debug - -release: - mkdir -p Release - cmake -DCMAKE_BUILD_TYPE=Release -B Release - cmake --build Release - -profile: - mkdir -p Profile - cmake -DCMAKE_BUILD_TYPE=RelWithDebInfo -B Profile - cmake --build Profile - valgrind --tool=callgrind --dump-instr=yes --callgrind-out-file=callgrind.out ./Profile/main 100MB.json 1 - kcachegrind callgrind.out - -test: - fish generate.fish - make debug - ./Debug/test - -format: - clang-format -i src/*.c include/*.h tests/*.c *.c - -check: - clang-format -i --dry-run src/*.c include/*.h tests/*.c *.c --fail-on-incomplete-format - ruff check - ruff format --check - make test |