From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Sun, 10 May 2020 23:48:22 +0000 (+0200)
Subject: :wrench: Improve Makefile
X-Git-Tag: nightly~1578
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=fea35f5f7b4fada4a42329b9824f30fcdb853dad;p=gwion.git

:wrench: Improve Makefile
---

diff --git a/Makefile b/Makefile
index 8393a710..baf90821 100644
--- 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