Build CMake with "_FILE_OFFSET_BITS=64"

This commit is contained in:
Héctor Molinero Fernández
2020-06-28 17:24:52 +02:00
parent 2e52097e4e
commit eb8a0b7a15

View File

@@ -21,10 +21,10 @@ m4_ifelse(ENABLE_32BIT, 1, [[m4_dnl
build-essential \ build-essential \
ca-certificates \ ca-certificates \
checkinstall \ checkinstall \
cmake \
dpkg-dev \ dpkg-dev \
flex \ flex \
git \ git \
devscripts \
intltool \ intltool \
libegl1-mesa-dev \ libegl1-mesa-dev \
libepoxy-dev \ libepoxy-dev \
@@ -68,7 +68,20 @@ m4_ifelse(ENABLE_32BIT, 1, [[m4_dnl
libxv-dev:i386 \ libxv-dev:i386 \
ocl-icd-opencl-dev:i386 \ ocl-icd-opencl-dev:i386 \
]])m4_dnl ]])m4_dnl
&& rm -rf /var/lib/apt/lists/* && apt-get clean
# Build CMake with "_FILE_OFFSET_BITS=64"
# (as a workaround for: https://gitlab.kitware.com/cmake/cmake/-/issues/20568)
WORKDIR /tmp/
RUN DEBIAN_FRONTEND=noninteractive apt-get build-dep -y cmake
RUN apt-get source cmake && mv ./cmake-*/ ./cmake/
WORKDIR /tmp/cmake/
RUN DEB_BUILD_PROFILES='stage1' \
DEB_BUILD_OPTIONS='parallel=auto nocheck' \
DEB_CFLAGS_SET='-D _FILE_OFFSET_BITS=64' \
DEB_CXXFLAGS_SET='-D _FILE_OFFSET_BITS=64' \
debuild -b -uc -us
RUN dpkg -i /tmp/cmake_*.deb /tmp/cmake-data_*.deb
# Build libjpeg-turbo # Build libjpeg-turbo
ARG LIBJPEG_TURBO_TREEISH=2.0.5 ARG LIBJPEG_TURBO_TREEISH=2.0.5
@@ -181,10 +194,8 @@ RUN checkinstall --default --pkgname=xorgxrdp --pkgversion=9:999 --pkgrelease=0
ARG XRDP_PULSEAUDIO_TREEISH=v0.4 ARG XRDP_PULSEAUDIO_TREEISH=v0.4
ARG XRDP_PULSEAUDIO_REMOTE=https://github.com/neutrinolabs/pulseaudio-module-xrdp.git ARG XRDP_PULSEAUDIO_REMOTE=https://github.com/neutrinolabs/pulseaudio-module-xrdp.git
WORKDIR /tmp/ WORKDIR /tmp/
RUN apt-get update
RUN DEBIAN_FRONTEND=noninteractive apt-get build-dep -y pulseaudio RUN DEBIAN_FRONTEND=noninteractive apt-get build-dep -y pulseaudio
RUN apt-get source pulseaudio="$(apt-cache policy pulseaudio | awk '/Candidate:/{printf($2)}')" RUN apt-get source pulseaudio && mv ./pulseaudio-*/ ./pulseaudio/
RUN mv ./pulseaudio-*/ ./pulseaudio/
WORKDIR /tmp/pulseaudio/ WORKDIR /tmp/pulseaudio/
RUN ./configure RUN ./configure
RUN mkdir /tmp/xrdp-pulseaudio/ RUN mkdir /tmp/xrdp-pulseaudio/