From 3d996497b9d2ebd968d52cf6db430029a6b35592 Mon Sep 17 00:00:00 2001
From: Robin Sonnabend <robin@fsmpi.rwth-aachen.de>
Date: Wed, 28 Nov 2018 17:55:18 +0100
Subject: [PATCH] Install build dependencies before building package
---
scripts/build.py | 3 +++
1 file changed, 3 insertions(+)
diff --git a/scripts/build.py b/scripts/build.py
index 16b1d60..2bd34c5 100755
--- a/scripts/build.py
+++ b/scripts/build.py
@@ -77,6 +77,9 @@ def build_package(repo_dir, package_dir, name,
for entry in _get_log_entries():
run_checked(command + [entry])
+ command = ["apt-get", "build-dep", name]
+ run_checked(command)
+
command = ["debuild", "-b", "-uc", "-us"]
run_checked(command)
--
GitLab