From f9228aae301a559bef9e52213b303200a06d4a85 Mon Sep 17 00:00:00 2001
From: Guillaume Le Vaillant <glv@posteo.net>
Date: Wed, 12 Jun 2024 14:43:44 +0200
Subject: [PATCH] gnu: libarea: Fix build.

* gnu/packages/engineering.scm (libarea)[arguments]: Enable
  BOOST_TIMER_ENABLE_DEPRECATED option in 'cmake-configure' phase.

Change-Id: I6821c675bcd815b5fa7745160ec88c97abf2d4be
---
 gnu/packages/engineering.scm | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gnu/packages/engineering.scm b/gnu/packages/engineering.scm
index 5129305f67..ead524ff1f 100644
--- a/gnu/packages/engineering.scm
+++ b/gnu/packages/engineering.scm
@@ -3152,6 +3152,7 @@ (define-public libarea
                      (cmake (assoc-ref inputs "cmake")))
                  (mkdir-p "build")
                  (invoke "cmake"
+                         "-DCMAKE_CXX_FLAGS=-DBOOST_TIMER_ENABLE_DEPRECATED"
                          (string-append "-DCMAKE_INSTALL_PREFIX=" out)))))
            (delete 'configure))))
       (home-page "https://github.com/Heeks/libarea")