diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2021-07-05 17:52:03 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2021-07-31 23:06:12 +0200 |
| commit | 3589c1755602b3315b112c9a04789e7934b07a7d (patch) | |
| tree | 3664993b54748e84b53265d00d3c99001130d174 /gnu/packages/ocaml.scm | |
| parent | 96707d5a309d083b1a9bf1f0c8fc1251cf203337 (diff) | |
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/packages/ocaml.scm')
| -rw-r--r-- | gnu/packages/ocaml.scm | 8 |
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 |