From df4930818f58914e070a9dfe66e665629e4fe7a0 Mon Sep 17 00:00:00 2001
From: Michele Guerini Rocco <m.guerinirocco2@campus.unimib.it>
Date: Tue, 27 Sep 2022 18:30:03 +0200
Subject: [PATCH] Makefile: add JETTO-specific target

---
 Makefile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Makefile b/Makefile
index 4407ae7..ad7e284 100644
--- a/Makefile
+++ b/Makefile
@@ -114,6 +114,11 @@ $(LIBGRAY).so: $(MODULES) | $(LIBDIR)
 $(LIBGRAY).a($(MODULES)): | $(LIBDIR)
 $(LIBGRAY).a: $(LIBGRAY).a($(MODULES))
 
+# GRAY static library when compiling from JETTO
+-include ../include.mk
+$(JLIBDIR)/libgray.a: $(LIBGRAY).a
+	install -Dm755 '$<' '$@'
+
 # All documentation
 docs: $(SHAREDIR)/gray.1 $(SHAREDIR)/doc