尝试编译 haskell 代码时出现链接错误

Question

Linking 1 ...
/usr/bin/ld.gold: error: cannot find -lgmp
/home/sam/.ghcup/ghc/8.10.7/lib/ghc-8.10.7/integer-gmp-1.0.3.0/libHSinteger-gmp-1.0.3.0.a(Type.o):ghc_4.c:function integerzmwiredzmin_GHCziIntegerziType_zdwplusBigNatWord_info: error: undefined reference to '__gmpn_add_1'
/home/sam/.ghcup/ghc/8.10.7/lib/ghc-8.10.7/integer-gmp-1.0.3.0/libHSinteger-gmp-1.0.3.0.a(Type.o):ghc_4.c:function integerzmwiredzmin_GHCziIntegerziType_zdwminusBigNatWord_info: error: undefined reference to '__gmpn_sub_1'
/home/sam/.ghcup/ghc/8.10.7/lib/ghc-8.10.7/integer-gmp-1.0.3.0/libHSinteger-gmp-1.0.3.0.a(Type.o):ghc_4.c:function integerzmwiredzmin_GHCziIntegerziType_zdwtimesBigNatWord_info: error: undefined reference to '__gmpn_mul_1'
/home/sam/.ghcup/ghc/8.10.7/lib/ghc-8.10.7/integer-gmp-1.0.3.0/libHSinteger-gmp-1.0.3.0.a(Type.o):ghc_4.c:function integerzmwiredzmin_GHCziIntegerziType_zdwgo_info: error: undefined reference to '__gmpn_add'
/home/sam/.ghcup/ghc/8.10.7/lib/ghc-8.10.7/integer-gmp-1.0.3.0/libHSinteger-gmp-1.0.3.0.a(Type.o):ghc_4.c:function integerzmwiredzmin_GHCziIntegerziType_zdwminusBigNat_info: error: undefined reference to '__gmpn_sub'
/home/sam/.ghcup/ghc/8.10.7/lib/ghc-8.10.7/integer-gmp-1.0.3.0/libHSinteger-gmp-1.0.3.0.a(Type.o):ghc_4.c:function integerzmwiredzmin_GHCziIntegerziType_zdwtimesBigNat_info: error: undefined reference to '__gmpn_mul'
/home/sam/.ghcup/ghc/8.10.7/lib/ghc-8.10.7/integer-gmp-1.0.3.0/libHSinteger-gmp-1.0.3.0.a(Type.o):ghc_4.c:function integerzmwiredzmin_GHCziIntegerziType_plusInteger_info: error: undefined reference to '__gmpn_cmp'
/home/sam/.ghcup/ghc/8.10.7/lib/ghc-8.10.7/integer-gmp-1.0.3.0/libHSinteger-gmp-1.0.3.0.a(Type.o):ghc_4.c:function integerzmwiredzmin_GHCziIntegerziType_leIntegerzh_info: error: undefined reference to '__gmpn_cmp'
/home/sam/.ghcup/ghc/8.10.7/lib/ghc-8.10.7/integer-gmp-1.0.3.0/libHSinteger-gmp-1.0.3.0.a(Type.o):ghc_4.c:function integerzmwiredzmin_GHCziIntegerziType_leIntegerzh_info: error: undefined reference to '__gmpn_cmp'
collect2: error: ld returned 1 exit status
`gcc' failed in phase `Linker'. (Exit code: 1)

Answer 1

libgmp-dev在 Ubuntu 上使用安装sudo apt install libgmp-dev解决了我的问题。