From beefe9aa1a6030e1d97827ad74a44ce19fa253b3 Mon Sep 17 00:00:00 2001
From: Salvatore Filippone <salvatore.filippone@uniroma2.it>
Date: Tue, 31 Jan 2023 08:55:00 -0500
Subject: [PATCH] Missing "compile" for configure.

---
 compile | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 compile

diff --git a/compile b/compile
new file mode 100644
index 00000000..e69de29b