devops: Check version in mit-scheme-pucked.desktop.

diff --git a/src/devops/devops.scm b/src/devops/devops.scm
index 271af182e96649ccf3b86fc138b31ab2d2b42944..a3b926e20ec49afe62de3690276e9a569bc3cfd8 100644 (file)
--- a/src/devops/devops.scm
+++ b/src/devops/devops.scm
@@ -66,6 +66,7 @@ Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
      (dirt-lint dirt)
      (debian-version-lint version (debian-version "."))
      (released-version-lint version (released-version (project-name)) changes)
+     (desktop-version-lint version)
      (if core-lint-hook
         (core-lint-hook version changes dirt)
         '()))))
@@ -122,6 +123,14 @@ Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
        (else
         '())))
 
+(define (desktop-version-lint version)
+  (let ((line (find (lambda (l) (string-prefix? "Version=" l))
+                   (file-lines "debian/mit-scheme-pucked.desktop"))))
+    (cond ((not line) (list "File not found: debian/mit-scheme-pucked.desktop"))
+         ((not (string=? line (string "Version=" (version-string version))))
+          (list "Version mismatch in debian/mit-scheme-pucked.desktop."))
+         (else '()))))
+
 (define (dirt-lint dirt)
   (if (pair? dirt)
       (cons "Uncommitted files:" dirt)