Skip to content

Commit

Permalink
Merge pull request #12154 from eschnett/mpfr-sanitize
Browse files Browse the repository at this point in the history
Correct Makefile check for SANITIZE
  • Loading branch information
vtjnash committed Jul 15, 2015
2 parents 0bc26c5 + 3cd6030 commit 0a9ee7a
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions deps/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -1718,7 +1718,7 @@ install-osxunwind: $(OSXUNWIND_OBJ_TARGET)
GMP_SRC_TARGET = gmp-$(GMP_VER)/.libs/libgmp.$(SHLIB_EXT)
GMP_OBJ_TARGET = $(build_shlibdir)/libgmp.$(SHLIB_EXT)

ifneq ($(SANITIZE),)
ifeq ($(SANITIZE),1)
GMP_CONFIGURE_OPTS += --disable-assembly
endif

Expand Down Expand Up @@ -1784,7 +1784,7 @@ ifeq ($(OS),Darwin)
MPFR_CHECK_MFLAGS = LDFLAGS="$(LDFLAGS) -Wl,-rpath,'$(build_libdir)'"
endif

ifneq ($(SANITIZE),)
ifeq ($(SANITIZE),1)
# Force generic C build
MPFR_OPTS += --host=none-unknown-linux
endif
Expand Down

0 comments on commit 0a9ee7a

Please sign in to comment.