From ad64d3a08e2fd4bed5df2349ba844521199b28bb Mon Sep 17 00:00:00 2001 From: waleed-lm Date: Mon, 4 Jan 2021 18:13:32 +0500 Subject: [PATCH] LEC makefile updated --- verif/LEC/Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/verif/LEC/Makefile b/verif/LEC/Makefile index 7d3ccdb0..4fdbd9da 100755 --- a/verif/LEC/Makefile +++ b/verif/LEC/Makefile @@ -5,9 +5,11 @@ eda_check: @$(CHECK_EDA_PATH) fm_run: eda_check + git clone https://github.com/Lampro-Mellon/LEC_RTL.git $(fm_run) @mv *.log formality_work/formality_log fm_gui: eda_check + git clone https://github.com/Lampro-Mellon/LEC_RTL.git formality & @mv *.log formality_work/formality_log