diff options
| author | Colomban Wendling <[email protected]> | 2020-08-06 16:52:49 +0200 |
|---|---|---|
| committer | Robert Antoni Buj Gelonch <[email protected]> | 2020-08-08 23:24:58 +0200 |
| commit | 0fc000d8a84419dec2271e2a3474cb89ee2471da (patch) | |
| tree | 05dd9d90633fdfd98a1ef3a4ffd79442cb4b35e5 | |
| parent | 40094e31614508648082468c28c6181d8bf1be59 (diff) | |
| download | mate-settings-daemon-0fc000d8a84419dec2271e2a3474cb89ee2471da.tar.bz2 mate-settings-daemon-0fc000d8a84419dec2271e2a3474cb89ee2471da.tar.xz | |
.build.yml: Update to mate-desktop 1.25.0
Also refactor to make it easier to change the version.
| -rw-r--r-- | .build.yml | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -142,9 +142,10 @@ before_scripts: - fi - cd ${START_DIR} - - '[ -f mate-desktop-1.23.2.tar.xz ] || curl -Ls -o mate-desktop-1.23.2.tar.xz http://pub.mate-desktop.org/releases/1.23/mate-desktop-1.23.2.tar.xz' - - tar xf mate-desktop-1.23.2.tar.xz - - cd mate-desktop-1.23.2 + - MATE_DESKTOP_VERSION=1.25.0 + - '[ -f mate-desktop-${MATE_DESKTOP_VERSION}.tar.xz ] || curl -Ls -o mate-desktop-${MATE_DESKTOP_VERSION}.tar.xz http://pub.mate-desktop.org/releases/${MATE_DESKTOP_VERSION%.*}/mate-desktop-${MATE_DESKTOP_VERSION}.tar.xz' + - tar xf mate-desktop-${MATE_DESKTOP_VERSION}.tar.xz + - cd mate-desktop-${MATE_DESKTOP_VERSION} - if [ ${DISTRO_NAME} == "debian" -o ${DISTRO_NAME} == "ubuntu" ];then - ./configure --prefix=/usr --libdir=/usr/lib/x86_64-linux-gnu --libexecdir=/usr/lib/x86_64-linux-gnu - else |