summary refs log tree commit diff
path: root/gnu
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2021-07-05 17:52:03 +0200
committerJulien Lepiller <julien@lepiller.eu>2021-07-31 23:06:12 +0200
commit3589c1755602b3315b112c9a04789e7934b07a7d (patch)
tree3664993b54748e84b53265d00d3c99001130d174 /gnu
parent96707d5a309d083b1a9bf1f0c8fc1251cf203337 (diff)
downloadguix-3589c1755602b3315b112c9a04789e7934b07a7d.tar.gz
gnu: lablgtk3: Install with version information.
This is required so recent versions of coq can check version
requirements.

* gnu/packages/ocaml.scm (lablgtk3)[arguments]: Ensure version is added
to the META file.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/ocaml.scm8
1 files changed, 6 insertions, 2 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index f75755cfd6..bf9242410d 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -6902,8 +6902,12 @@ support for Mparser.")))
            (lambda _
              (for-each (lambda (file)
                          (chmod file #o644))
-                       (find-files "." "."))
-             #t)))))
+                       (find-files "." "."))))
+         (add-before 'build 'set-version
+           (lambda _
+             (substitute* "dune-project"
+               (("\\(name lablgtk3\\)")
+                (string-append "(name lablgtk3)\n(version " ,version ")"))))))))
     (propagated-inputs
      `(("ocaml-cairo2" ,ocaml-cairo2)))
     (inputs