aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2019-05-28 14:00:28 +0200
committerGitHub <noreply@github.com>2019-05-28 14:00:28 +0200
commit2a11c48782d31cd6f9c181f7ff52984cc2ae0351 (patch)
tree3eb7be9d0c53fb1ac2259e3adae33f7501ab99fc /Makefile
parent92dde319fc603223304a64a5a49bbbe6c1ec3045 (diff)
parent1bbcd277fbfbccbcc4094930ab4bdfd669789f06 (diff)
downloadyosys-2a11c48782d31cd6f9c181f7ff52984cc2ae0351.tar.gz
yosys-2a11c48782d31cd6f9c181f7ff52984cc2ae0351.tar.bz2
yosys-2a11c48782d31cd6f9c181f7ff52984cc2ae0351.zip
Merge pull request #1045 from mmicko/afl-gcc-target
afl-fuzzer compile config
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile12
1 files changed, 11 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index db60e8288..2f5da4110 100644
--- a/Makefile
+++ b/Makefile
@@ -2,6 +2,7 @@
CONFIG := clang
# CONFIG := gcc
# CONFIG := gcc-4.8
+# CONFIG := afl-gcc
# CONFIG := emcc
# CONFIG := mxe
# CONFIG := msys2
@@ -191,6 +192,12 @@ LD = gcc-4.8
CXXFLAGS += -std=c++11 -Os
ABCMKARGS += ARCHFLAGS="-DABC_USE_STDINT_H"
+else ifeq ($(CONFIG),afl-gcc)
+CXX = AFL_QUIET=1 AFL_HARDEN=1 afl-gcc
+LD = AFL_QUIET=1 AFL_HARDEN=1 afl-gcc
+CXXFLAGS += -std=c++11 -Os
+ABCMKARGS += ARCHFLAGS="-DABC_USE_STDINT_H"
+
else ifeq ($(CONFIG),cygwin)
CXX = gcc
LD = gcc
@@ -820,6 +827,9 @@ config-gcc-static: clean
config-gcc-4.8: clean
echo 'CONFIG := gcc-4.8' > Makefile.conf
+config-afl-gcc: clean
+ echo 'CONFIG := afl-gcc' > Makefile.conf
+
config-emcc: clean
echo 'CONFIG := emcc' > Makefile.conf
echo 'ENABLE_TCL := 0' >> Makefile.conf
@@ -866,5 +876,5 @@ echo-git-rev:
-include techlibs/*/*.d
.PHONY: all top-all abc test install install-abc manual clean mrproper qtcreator coverage vcxsrc mxebin
-.PHONY: config-clean config-clang config-gcc config-gcc-static config-gcc-4.8 config-gprof config-sudo
+.PHONY: config-clean config-clang config-gcc config-gcc-static config-gcc-4.8 config-afl-gcc config-gprof config-sudo