This commit enables a mixed bench, to improve CI and allow for PGO (profile-build...

[stockfish] / src / Makefile

diff --git a/src/Makefile b/src/Makefile
index fd2618a47b276de1cfbf902af607e41e49db1b14..c00b60b5a56abfc6737689a1e2c2604719853f5a 100644 (file)
--- a/src/Makefile
+++ b/src/Makefile
@@ -416,7 +416,7 @@ endif
 ifeq ($(avx512),yes)
        CXXFLAGS += -DUSE_AVX512
        ifeq ($(comp),$(filter $(comp),gcc clang mingw))
-               CXXFLAGS += -mavx512bw
+               CXXFLAGS += -mavx512f -mavx512bw
        endif
 endif
 
@@ -569,7 +569,7 @@ help:
 build: config-sanity
        $(MAKE) ARCH=$(ARCH) COMP=$(COMP) all
 
-profile-build: config-sanity objclean profileclean
+profile-build: config-sanity objclean profileclean net
        @echo ""
        @echo "Step 1/4. Building instrumented executable ..."
        $(MAKE) ARCH=$(ARCH) COMP=$(COMP) $(profile_make)