From 0f80a32306a001511b79d3013b8152dc13a561d6 Mon Sep 17 00:00:00 2001
From: Paul Menzel <pmenzel@molgen.mpg.de>
Date: Tue, 21 Jun 2022 10:05:40 +0200
Subject: [PATCH] postgresql: Build and install extensions (in `contrib/`)

---
 postgresql.be0 | 16 +++++++++-------
 1 file changed, 9 insertions(+), 7 deletions(-)

diff --git a/postgresql.be0 b/postgresql.be0
index 87a29f61d..52bda18d6 100755
--- a/postgresql.be0
+++ b/postgresql.be0
@@ -52,13 +52,15 @@ SRCURL[0]="https://beehive.molgen.mpg.de/69b19b46defe6eded4b3bbc1725025f9/postgr
 #    bee_configure
 #}
 
-#mee_build() {
-#    bee_build
-#}
-
-#mee_install() {
-#    bee_install
-#}
+mee_build() {
+    bee_build
+    bee_build -C contrib
+}
+
+mee_install() {
+    bee_install
+    bee_install -C contrib
+}
 ## by default this may be 'make install DESTDIR="${D}"'
 
 ###############################################################################