Remove unsupported libgmp3-dev and add gmp-devel

2018-11-06 17:14:15 -05:00 · 2018-11-06 17:14:15 -05:00 · 14735d4257
parent 7f82da4d73
commit 14735d4257
1 changed files with 4 additions and 1 deletions
--- a/modules/stack/libexec/init.sh
+++ b/modules/stack/libexec/init.sh
@ -70,7 +70,10 @@ fi
 if ! which gcc >/dev/null; then
    log "Installing C compiling tools.."
    yum --enablerepo=epel group install -y "Development Tools" >"$LOG"
-    yum --enablerepo=epel install -y libgmp3-dev > "$LOG"
+fi
+if ! which gmp-devel >/dev/null; then
+    log "Installing gmp-devel.."
+    yum --enablerepo=epel install -y gmp-devel >"$LOG"
 fi

 log "Determining region this instance is in.."