From 3fc56966d50cf40e0dfa2b56e35f50921b75e7ce Mon Sep 17 00:00:00 2001 From: Paul Brossier Date: Sat, 30 Apr 2016 03:18:31 +0200 Subject: [PATCH] Makefile: add WAFOPTS and HAVE_DOUBLE envvars --- Makefile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index 6c0b7de3..88f64c79 100644 --- a/Makefile +++ b/Makefile @@ -16,13 +16,13 @@ expandwaf: @chmod +x waf configure: checkwaf - $(WAFCMD) configure + $(WAFCMD) configure $(WAFOPTS) $(HAVE_DOUBLE) build: configure - $(WAFCMD) build + $(WAFCMD) build $(WAFOPTS) build_python: - cd python && ./setup.py build + cd python && python ./setup.py generate $(HAVE_DOUBLE) build test_python: cd python && pip install -v . @@ -39,7 +39,7 @@ clean_python: cd python && ./setup.py clean build_python3: - cd python && python3 ./setup.py build + cd python && python3 ./setup.py generate $(HAVE_DOUBLE) build clean_python3: cd python && python3 ./setup.py clean -- 2.11.0