| # Copyright (C) 2017-2020  The Project X-Ray Authors. | 
 | # | 
 | # Use of this source code is governed by a ISC-style | 
 | # license that can be found in the LICENSE file or at | 
 | # https://opensource.org/licenses/ISC | 
 | # | 
 | # SPDX-License-Identifier: ISC | 
 |  | 
 | N := 1 | 
 |  | 
 | BUILD_DIR = build_${XRAY_PART} | 
 | RUN_OK = run.${XRAY_PART}.ok | 
 |  | 
 | SPECIMENS := $(addprefix $(BUILD_DIR)/specimen_,$(shell seq -f '%03.0f' $(N))) | 
 | SPECIMENS_OK := $(addsuffix /OK,$(SPECIMENS)) | 
 | MAX_VIVADO_PROCESS ?= 4 | 
 | MAX_PIPS_INSTANCE ?= 340000 | 
 |  | 
 | database: $(SPECIMENS_OK) | 
 | 	true | 
 |  | 
 | pushdb: | 
 | 	true | 
 |  | 
 | $(SPECIMENS_OK): | 
 | 	bash generate.sh $(subst /OK,,$@) -p=$(MAX_VIVADO_PROCESS) -t=$(MAX_PIPS_INSTANCE) | 
 | 	touch $@ | 
 |  | 
 | run: | 
 | 	rm -rf $(BUILD_DIR) $(RUN_OK) | 
 | 	$(MAKE) database | 
 | 	$(MAKE) pushdb | 
 | 	touch $(RUN_OK) | 
 |  | 
 | clean: | 
 | 	rm -rf ${BUILD_DIR} ${RUN_OK} | 
 |  | 
 | .PHONY: database pushdb run clean | 
 |  |