diff options
| author | Kristian Evers <kristianevers@gmail.com> | 2019-05-02 11:05:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-02 11:05:46 +0200 |
| commit | 829df0548894e59a62b08a8108a3e27865171faa (patch) | |
| tree | fa80b4fcc0f18238c0a3b8301ccce770dc32dcb7 /travis | |
| parent | f22862cf1c76e28efe47e830fe0c753ab696b15b (diff) | |
| parent | fc48053092b4b6f496bb983765ebf619a356e257 (diff) | |
| download | PROJ-829df0548894e59a62b08a8108a3e27865171faa.tar.gz PROJ-829df0548894e59a62b08a8108a3e27865171faa.zip | |
Travis: check that the exported symbols conform to what is expected (#1445)
Travis: check that the exported symbols conform to what is expected
Diffstat (limited to 'travis')
| -rwxr-xr-x | travis/install.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/travis/install.sh b/travis/install.sh index 3c1e92da..334dcda3 100755 --- a/travis/install.sh +++ b/travis/install.sh @@ -18,6 +18,7 @@ wget http://download.osgeo.org/proj/proj-datumgrid-1.8.zip # prepare build files ./autogen.sh +TOP_DIR=$PWD # autoconf build mkdir build_autoconf @@ -38,7 +39,15 @@ if [ -f /usr/lib/jvm/java-7-openjdk-amd64/include/jni.h ]; then else ../configure --prefix=/tmp/proj_autoconf_install_from_dist_all fi + make -j${NPROC} + +if [ "$(uname)" == "Linux" -a -f src/.libs/libproj.so ]; then + echo "Checking exported symbols..." + ${TOP_DIR}/scripts/dump_exported_symbols.sh src/.libs/libproj.so > /tmp/got_symbols.txt + diff -u ${TOP_DIR}/scripts/reference_exported_symbols.txt /tmp/got_symbols.txt || (echo "Difference(s) found in exported symbols. If intended, refresh scripts/reference_exported_symbols.txt with 'scripts/dump_exported_symbols.sh src/.libs/libproj.so > scripts/reference_exported_symbols.txt'"; exit 1) +fi + make check make install find /tmp/proj_autoconf_install_from_dist_all |