diff options
| author | Colomban Wendling <[email protected]> | 2020-08-06 17:03:41 +0200 |
|---|---|---|
| committer | Colomban Wendling <[email protected]> | 2020-08-06 18:42:53 +0200 |
| commit | fd15ff068a65786e251a31bde273252e0ec9a3eb (patch) | |
| tree | a54e6a7819c3af64515e21c7ca5096f87568903e | |
| parent | 15ed08e4e5f44314b428445024545264b4c6d16e (diff) | |
| download | mate-control-center-fd15ff068a65786e251a31bde273252e0ec9a3eb.tar.bz2 mate-control-center-fd15ff068a65786e251a31bde273252e0ec9a3eb.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 | 9 |
1 files changed, 5 insertions, 4 deletions
@@ -174,11 +174,12 @@ before_scripts: - make install - cd ${START_DIR} - - if [ ! -f mate-desktop-1.23.2.tar.xz ];then - - curl -Ls -o mate-desktop-1.23.2.tar.xz https://github.com/mate-desktop/mate-desktop/releases/download/v1.23.2/mate-desktop-1.23.2.tar.xz + - MATE_DESKTOP_VERSION=1.25.0 + - if [ ! -f mate-desktop-${MATE_DESKTOP_VERSION}.tar.xz ];then + - curl -Ls -o mate-desktop-${MATE_DESKTOP_VERSION}.tar.xz https://github.com/mate-desktop/mate-desktop/releases/download/v${MATE_DESKTOP_VERSION}/mate-desktop-${MATE_DESKTOP_VERSION}.tar.xz - fi - - tar xf mate-desktop-1.23.2.tar.xz - - cd mate-desktop-1.23.2 + - tar xf mate-desktop-${MATE_DESKTOP_VERSION}.tar.xz + - cd mate-desktop-${MATE_DESKTOP_VERSION} - if [ ${DISTRO_NAME} == "debian" -o ${DISTRO_NAME} == "ubuntu" ];then - ./autogen.sh --prefix=/usr --libdir=/usr/lib/x86_64-linux-gnu --libexecdir=/usr/lib/x86_64-linux-gnu - else |