aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Norton <robert.norton@microsoft.com>2021-06-25 15:19:58 +0100
committerRobert Norton <robert.norton@microsoft.com>2021-06-25 15:19:58 +0100
commitc8232068c7afd6e44d7cc8eeec6c1558d9e5f6cf (patch)
tree7fdbb2002ee9a3594e460f3cdcbf87a2601dcde9
parent977cc0e51b2e687089cf72ec97a3055a4e84d60c (diff)
downloadsail-riscv-c8232068c7afd6e44d7cc8eeec6c1558d9e5f6cf.zip
sail-riscv-c8232068c7afd6e44d7cc8eeec6c1558d9e5f6cf.tar.gz
sail-riscv-c8232068c7afd6e44d7cc8eeec6c1558d9e5f6cf.tar.bz2
Add comment explaining libgmp pkg-config workaround.
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 087b507..4fb7f28 100644
--- a/Makefile
+++ b/Makefile
@@ -119,6 +119,7 @@ SOFTFLOAT_LIBS = $(SOFTFLOAT_LIBDIR)/softfloat.a
SOFTFLOAT_SPECIALIZE_TYPE = RISCV
GMP_FLAGS = $(shell pkg-config --cflags gmp)
+# N.B. GMP does not have pkg-config metadata on Ubuntu 18.04 so default to -lgmp
GMP_LIBS = $(shell pkg-config --libs gmp || echo -lgmp)
ZLIB_FLAGS = $(shell pkg-config --cflags zlib)
ZLIB_LIBS = $(shell pkg-config --libs zlib)