gateware: Small tweaks and add option to ignore timing failure
This also allow to override the SEED from command line.
Signed-off-by: Sylvain Munaut <tnt@246tNt.com>
diff --git a/gateware/e1-tracer/Makefile b/gateware/e1-tracer/Makefile
index e3d08b8..5718966 100644
--- a/gateware/e1-tracer/Makefile
+++ b/gateware/e1-tracer/Makefile
@@ -29,10 +29,15 @@
# Target config
BOARD ?= e1-tracer
-DEVICE = up5k
-PACKAGE = sg48
+DEVICE := up5k
+PACKAGE := sg48
-NEXTPNR_ARGS = --pre-pack data/clocks.py --seed 19
+SEED ?= 19
+NEXTPNR_ARGS := --no-promote-globals --pre-pack data/clocks.py --seed $(SEED)
+
+ifeq ($(IGNORE_TIMING),1)
+ NEXTPNR_ARGS += --timing-allow-fail
+endif
# Include default rules
NO2BUILD_DIR ?= ../build