From 6a6cb48e0dcd647d4f963fedfb9652ddc88d988b Mon Sep 17 00:00:00 2001 From: Paul Brossier Date: Sat, 30 Apr 2016 03:43:39 +0200 Subject: [PATCH] Makefile: use 'HAVE_DOUBLE=1 make' to build in double precision --- Makefile | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 88f64c79..dae16d4f 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,7 @@ WAFCMD=python waf + +ENABLE_DOUBLE := $(shell [ -z $(HAVE_DOUBLE) ] || echo --enable-double ) + all: build checkwaf: @@ -16,13 +19,13 @@ expandwaf: @chmod +x waf configure: checkwaf - $(WAFCMD) configure $(WAFOPTS) $(HAVE_DOUBLE) + $(WAFCMD) configure $(WAFOPTS) $(ENABLE_DOUBLE) build: configure $(WAFCMD) build $(WAFOPTS) build_python: - cd python && python ./setup.py generate $(HAVE_DOUBLE) build + cd python && python ./setup.py generate $(ENABLE_DOUBLE) build test_python: cd python && pip install -v . @@ -39,7 +42,7 @@ clean_python: cd python && ./setup.py clean build_python3: - cd python && python3 ./setup.py generate $(HAVE_DOUBLE) build + cd python && python3 ./setup.py generate $(ENABLE_DOUBLE) build clean_python3: cd python && python3 ./setup.py clean -- 2.11.0