I want php's curl on travis-ci to use GnuTls 3.1.28 instead of the default GnuTls 2.12. I set up an experimental ec2 instance where my compilation leads me to successfully use gnutls3, but this doesn't work on the travis-ci worker.
Running
ldd /usr/lib/php5/20090626/curl.so|grep gnutls
on the ec2 instance yields
/usr/lib/php5/20090626/curl.so: /usr/local/lib/libcurl.so.4: no version information available (required by /usr/lib/php5/20090626/curl.so)
libgnutls.so.28 => /usr/local/lib/libgnutls.so.28 (0x00007f58946e5000)
showing that it's referencing GnuTls 3.1.28 that I compiled
but on the travis-ci workers yields
/usr/lib/php5/20090626/curl.so: /usr/local/lib/libcurl.so.4: no version information available (required by /usr/lib/php5/20090626/curl.so)
libgnutls.so.26 => /usr/lib/x86_64-linux-gnu/libgnutls.so.26 (0x00002aca991d0000)
showing that it's still referencing GnuTls 2.12 (full log here )
A var_dump(curl_version()) confirms this.
My specific commands are found here
Is there something specific to travis-ci workers that I'm missing?