comparison deploy/linux/docker/Dockerfile_deb.in @ 726:720595a8fa10

Avoid using directory name that clashes with intended executable name
author Chris Cannam
date Mon, 17 Dec 2018 09:31:38 +0000
parents 48e746f45bde
children bd9a54f9aca8
comparison
equal deleted inserted replaced
725:48e746f45bde 726:720595a8fa10
37 37
38 WORKDIR /easyhg 38 WORKDIR /easyhg
39 RUN qmake -r 39 RUN qmake -r
40 RUN make 40 RUN make
41 41
42 RUN hg clone https://code.soundsoftware.ac.uk/hg/easyhg-kdiff3 42 RUN hg clone https://code.soundsoftware.ac.uk/hg/easyhg-kdiff3-src
43 WORKDIR easyhg-kdiff3/kdiff3/src-QT4 43 WORKDIR easyhg-kdiff3-src/kdiff3/src-QT4
44 RUN qmake -r kdiff3.pro 44 RUN qmake -r kdiff3.pro
45 RUN make 45 RUN make
46 RUN cp kdiff3 ../../../easyhg-kdiff3 46 RUN cp kdiff3 ../../../easyhg-kdiff3
47 47
48 WORKDIR /easyhg 48 WORKDIR /easyhg