Merge pull request #211 from antmicro/enable_no_conda

Enable not using conda for docs build
This commit is contained in:
Tim Ansell 2020-11-06 14:00:04 -08:00 committed by GitHub
commit 6fd025ed33
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 0 deletions

View File

@ -3,7 +3,13 @@
DOCSDIR := $(dir $(lastword $(MAKEFILE_LIST))) DOCSDIR := $(dir $(lastword $(MAKEFILE_LIST)))
TOPDIR := $(realpath $(DOCSDIR)/..) TOPDIR := $(realpath $(DOCSDIR)/..)
ifndef NO_CONDA
include $(TOPDIR)/scripts/make/conda.mk include $(TOPDIR)/scripts/make/conda.mk
endif
ifdef NO_CONDA
IN_CONDA_ENV :=
CONDA_ENV_PYTHON :=
endif
SHELL = /bin/bash SHELL = /bin/bash