From 5c1565b9d7d2a8a72ee4fc325f7f8e2828d35374 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 3 Oct 2024 13:53:03 +0200
Subject: [PATCH] [ivette] make sure to generate API before install
---
ivette/Makefile.installation | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ivette/Makefile.installation b/ivette/Makefile.installation
index 93023347915..19d76ec4a9a 100644
--- a/ivette/Makefile.installation
+++ b/ivette/Makefile.installation
@@ -42,7 +42,7 @@ install::
@echo " (no PREFIX, nor OPAM_SWITCH_PREFIX)"
else
FULLPREFIX := $(if ${DESTDIR},$(patsubst %/,%,${DESTDIR})/${PREFIX},${PREFIX})
-install::
+install:: ivette-api
@echo "Installing Ivette to ${FULLPREFIX}"
@mkdir -p "${FULLPREFIX}/bin"
@install ivette/ivette-bootstrap.sh "${FULLPREFIX}/bin/ivette"
--
GitLab