From 56fe4d24ca33ca19f5d0044ba2d6c64d23ce9d26 Mon Sep 17 00:00:00 2001
From: Ioannis Filippidis <jfilippidis@gmail.com>
Date: Fri, 21 Jan 2022 18:27:40 +0100
Subject: [PATCH] REF: shorten line in `Makefile` rule `cudd`

---
 Makefile | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 0639495a..2d637dba 100644
--- a/Makefile
+++ b/Makefile
@@ -122,7 +122,13 @@ show_deprecated:
 
 cudd:
 	cd cudd-*; \
-	make build XCFLAGS="-fPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8"
+	make build XCFLAGS="\
+	    -fPIC \
+	    -mtune=native \
+	    -DHAVE_IEEE_754 \
+	    -DBSD \
+	    -DSIZEOF_VOID_P=8 \
+	    -DSIZEOF_LONG=8"
 
 doc:
 	grip --export doc.md index.html