>From 76a337769e67e84a32c5b85d80ab6bc160792aef Mon Sep 17 00:00:00 2001 From: Julien Lepiller Date: Mon, 5 Jul 2021 17:52:03 +0200 Subject: [PATCH 2/4] 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. --- gnu/packages/ocaml.scm | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 5f4ed3ae35..4c8f04f29c 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6902,6 +6902,12 @@ support for Mparser."))) (for-each (lambda (file) (chmod file #o644)) (find-files "." ".")) + #t)) + (add-before 'build 'set-version + (lambda _ + (substitute* "dune-project" + (("\\(name lablgtk3\\)") + (string-append "(name lablgtk3)\n(version " ,version ")"))) #t))))) (propagated-inputs `(("ocaml-cairo2" ,ocaml-cairo2))) -- 2.32.0