diff options
| -rw-r--r-- | contrib/xilinx.mk | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/contrib/xilinx.mk b/contrib/xilinx.mk index e273460..34a1c20 100644 --- a/contrib/xilinx.mk +++ b/contrib/xilinx.mk @@ -39,9 +39,10 @@ # # NOTE: DO NOT edit this file to change settings; instead edit Makefile +synth_effort ?= high coregen_work_dir ?= ./coregen-tmp -map_opts ?= -timing -ol high -detail -pr b -register_duplication -w -par_opts ?= -ol high +map_opts ?= -timing -ol $(synth_effort) -detail -pr b -register_duplication -w +par_opts ?= -ol $(synth_effort) -rl $(synth_effort) hostbits = 64 iseenv= /opt/Xilinx/14.3/ISE_DS iseenvfile?= $(iseenv)/settings$(hostbits).sh |