From 00b9fe3159e867597f0237d24a1edc067ec63682 Mon Sep 17 00:00:00 2001 From: Dolu1990 Date: Tue, 7 Nov 2023 15:51:29 +0100 Subject: [PATCH] Add doc about SPINAL_MAKE_CMD --- source/SpinalHDL/Simulation/install/index.rst | 2 ++ 1 file changed, 2 insertions(+) diff --git a/source/SpinalHDL/Simulation/install/index.rst b/source/SpinalHDL/Simulation/install/index.rst index 17b8bb36fff..bd9ddbbaabf 100644 --- a/source/SpinalHDL/Simulation/install/index.rst +++ b/source/SpinalHDL/Simulation/install/index.rst @@ -16,6 +16,8 @@ Also the following imports have to be added in testbenches sources : .. _sim backend install: +Also, if you need to use gmake instead of make (ex OpenBSD) you can set the SPINAL_MAKE_CMD environnement variable to "gmake" + Backend-dependent installation instructions ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^