Merge pull request #245 from MatthewFluet/makefile-with-gmp-dir

Fix definitions of `WITH_GMP_{INC,LIB}_DIR` in `Makefile`-s
MLton · Feb 7, 2018 · 1d08ef1 · 1d08ef1
2 parents 4d4fb45 + 48f2d68
commit 1d08ef1
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/Makefile b/Makefile
@@ -17,8 +17,8 @@ STRIP := strip
 # Specify GMP include and library paths, if not on default search paths.
 WITH_GMP_DIR :=
 ifneq ($(WITH_GMP_DIR),)
-WITH_GMP_INC_DIR := $WITH_GMP_DIR/include
-WITH_GMP_LIB_DIR := $WITH_GMP_DIR/lib
+WITH_GMP_INC_DIR := $(WITH_GMP_DIR)/include
+WITH_GMP_LIB_DIR := $(WITH_GMP_DIR)/lib
 endif
 
 # Specify installation prefix and staged install destination.

diff --git a/Makefile.binary b/Makefile.binary
@@ -5,8 +5,8 @@ CC := gcc
 # Specify GMP include and library paths, if not on default search paths.
 WITH_GMP_DIR :=
 ifneq ($(WITH_GMP_DIR),)
-WITH_GMP_INC_DIR := $WITH_GMP_DIR/include
-WITH_GMP_LIB_DIR := $WITH_GMP_DIR/lib
+WITH_GMP_INC_DIR := $(WITH_GMP_DIR)/include
+WITH_GMP_LIB_DIR := $(WITH_GMP_DIR)/lib
 endif
 
 # Specify installation prefix and staged install destination.

diff --git a/runtime/Makefile b/runtime/Makefile
@@ -13,8 +13,8 @@ RANLIB := ranlib
 
 WITH_GMP_DIR :=
 ifneq ($(WITH_GMP_DIR),)
-WITH_GMP_INC_DIR := $WITH_GMP_DIR/include
-WITH_GMP_LIB_DIR := $WITH_GMP_DIR/lib
+WITH_GMP_INC_DIR := $(WITH_GMP_DIR)/include
+WITH_GMP_LIB_DIR := $(WITH_GMP_DIR)/lib
 endif
 
 FIND := find