]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Improve Makefile
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 10 May 2020 23:48:22 +0000 (01:48 +0200)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 10 May 2020 23:48:22 +0000 (01:48 +0200)
Makefile

index 8393a710b734c7c0ee6c53535ee9da8881d946cb..baf90821912e7ca9781cb08e4e3da94ce0de35ef 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -81,12 +81,19 @@ ast/libgwion_ast.a:
 ast: ast/libgwion_ast.a
        @(info build ast)
 
-afl:
-       touch src/parse/{scan*.c,check.c} src/emit/emit.c src/main.c
-       PRG=gwion-fuzz CC=afl-clang-fast make
-       touch src/parse/{scan*.c,check.c} src/emit/emit.c src/main.c
+afl: gwion-fuzz
 
-clean:
+gwion-fuzz:
+       @touch src/parse/{scan*.c,check.c} src/emit/emit.c src/main.c
+       @+PRG=gwion-fuzz CC=afl-clang-fast make
+       @touch src/parse/{scan*.c,check.c} src/emit/emit.c src/main.c afl
+
+clean_core:
+       @rm -f core.* *vgcore.*
+
+.PHONY: .afl
+
+clean: clean_core
        $(info cleaning ...)
        @rm -f src/*.o src/*/*.o gwion libgwion.a src/*.gcno src/*.gcda