diff deploy/linux/docker/Dockerfile_test_deb.in @ 625:72f85d34a922

Merge
author Chris Cannam
date Thu, 10 Oct 2019 13:39:08 +0100
parents cccac82528b9
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/deploy/linux/docker/Dockerfile_test_deb.in	Thu Oct 10 13:39:08 2019 +0100
@@ -0,0 +1,13 @@
+FROM ubuntu:18.04
+
+# Ensure that everything subsequent is re-run when a new revision is
+# being built (rather than being cached) - so as to avoid potential
+# mismatches between results of apt-get update and the package
+# dependency installation itself
+RUN echo [[REVISION]]
+
+RUN apt-get update
+ADD output/tony_[[RELEASE]]_amd64.deb tony_[[RELEASE]]_amd64.deb
+RUN apt install -y ./tony_[[RELEASE]]_amd64.deb
+RUN /usr/bin/tony --version
+