2021-01-04 20:59:54 +08:00
|
|
|
git clone git@github.com:waleedbinehsan-lm/LEC_RTL.git
|
2021-01-04 20:55:11 +08:00
|
|
|
fm_run = fm_shell -f formality_work/run_me.fms
|
|
|
|
|
|
|
|
|
|
eda_check:
|
|
|
|
|
@$(CHECK_EDA_PATH)
|
|
|
|
|
|
|
|
|
|
fm_run: eda_check
|
|
|
|
|
$(fm_run)
|
|
|
|
|
@mv *.log formality_work/formality_log
|
|
|
|
|
|
|
|
|
|
fm_gui: eda_check
|
|
|
|
|
formality &
|
2021-01-04 20:59:54 +08:00
|
|
|
@mv *.log formality_work/formality_log
|
