diff options
| -rw-r--r-- | Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Makefile b/Makefile index 6bdbf810..da3d0766 100644 --- a/Makefile +++ b/Makefile @@ -63,6 +63,14 @@ CFLAGS += -Wall -g -Wno-pointer-sign -I include/ \ AFL_FUZZ_FILES = $(wildcard src/afl-fuzz*.c) +ifneq "$(shell which python3m)" "" + ifneq "$(shell which python3m-config)" "" + PYTHON_INCLUDE ?= $(shell python3m-config --includes) + PYTHON_LIB ?= $(shell python3m-config --ldflags) + PYTHON_VERSION ?= $(strip $(shell python3m --version 2>&1)) + endif +endif + ifneq "$(shell which python3)" "" ifneq "$(shell which python3-config)" "" PYTHON_INCLUDE ?= $(shell python3-config --includes) |