From 24a00d84b0826e82a8656a12236a7c5fe7fe25b0 Mon Sep 17 00:00:00 2001
From: Nicolas Grekas <nicolas.grekas@gmail.com>
Date: Sun, 14 Oct 2018 11:05:17 -0700
Subject: [PATCH] [travis] build libsodium only if it's not already enabled

---
 .travis.yml | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index e3a14e3de1..c583386dde 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -173,13 +173,15 @@ before_install:
               [[ -e $ext_cache ]] || (tfold ext.symfony_debug "cd src/Symfony/Component/Debug/Resources/ext && phpize && ./configure && make && mv modules/symfony_debug.so $ext_cache && phpize --clean")
               echo extension = $ext_cache >> $INI
           elif [[ $PHP = 7.* ]]; then
-              # install libsodium
-              sudo add-apt-repository ppa:ondrej/php -y
-              sudo apt-get update -q
-              sudo apt-get install libsodium-dev -y
+              if ! php --ri sodium > /dev/null; then
+                  # install libsodium
+                  sudo add-apt-repository ppa:ondrej/php -y
+                  sudo apt-get update -q
+                  sudo apt-get install libsodium-dev -y
+                  tfold ext.libsodium tpecl libsodium sodium.so $INI
+              fi
 
               tfold ext.apcu tpecl apcu-5.1.6 apcu.so $INI
-              tfold ext.libsodium tpecl libsodium sodium.so $INI
               tfold ext.mongodb tpecl mongodb-1.5.0 mongodb.so $INI
           fi
       done