ID: bad850e9893ea1076b7290769b2bb2a625dba2d0
33 lines
—
630B —
View raw
| SHELL = /bin/bash
REPOSITORY = https://github.com/aeon-toolkit/aeon.git
check_env_vars:
ifdef OUTPUT_PATH
OUTPUT_PATH := ${OUTPUT_PATH}/aeon-toolkit
else
$(error OUTPUT_PATH is undefined)
endif
venv-3.10:
export PYENV_VERSION=3.10
python3 -m venv venv
repository:
git clone ${REPOSITORY} repository
v0.9.0: check_env_vars venv-3.10 repository
source venv/bin/activate
cd repository
git checkout tags/$@
pip install .[all_extras,dl,dev,binder,docs]
mkdir --parents "${OUTPUT_PATH}"
cd docs
make clean
make dirhtml
cp --recursive _build/dirhtml "${OUTPUT_PATH}/$@"
.ONESHELL:
.SUFFIXES:
.PHONY:
.DELETE_ON_ERROR:
|