home » zplus/dokk.git
ID: 7a2e60409a88570fcfade9590e1a0c53bf62ef03
38 lines — 1K — View raw


SHELL = /bin/bash

REPOSITORY = https://github.com/firesim/firesim.git

check_env_vars:
ifdef OUTPUT_PATH
OUTPUT_PATH := ${OUTPUT_PATH}/firesim
else
	$(error OUTPUT_PATH is undefined)
endif

venv:
	python3 -m venv venv

repository:
	git clone ${REPOSITORY} repository

# This repository uses the Conda environment manager.
# No matter what I try, I cannot get it to work!!!!!!!! I think it worked once, but then
# it gave me more errors when building from a Makefile.
# For this reason all the dependencies are installed manually with pip (list of dependencies
# extracted from conda-reqs/docs.yaml).
1.17.1 : check_env_vars venv repository
	source venv/bin/activate
	cd repository
	git checkout tags/$@
	pip install pygments "sphinx < 7" sphinx_autobuild "sphinx_rtd_theme < 1.2.0" requests sphinx_tabs sphinx_copybutton sphinx_substitution_extensions
	cd docs
	# Cannot run "make clean" because it only removes _build/html/*
	rm -rf _build/
	make dirhtml
	mkdir --parents "${OUTPUT_PATH}"
	cp --recursive _build/dirhtml "${OUTPUT_PATH}/$@"

.ONESHELL:
.SUFFIXES:
.PHONY:
.DELETE_ON_ERROR: