comparison Makefile @ 858:5088de9b6d65

Merge feature/setup_documenter
author Jonatan Werpers <jonatan@werpers.com>
date Wed, 19 Jan 2022 07:24:36 +0100
parents c9e35f1ca269
children c8d6580d9307
comparison
equal deleted inserted replaced
823:3c1dd7692797 858:5088de9b6d65
1 JULIA_DEFAULT=julia --startup-file=no
2 JULIA?=$(JULIA_DEFAULT)
3
4 # Set the default browser
5 WHICH_XDG_OPEN=$(shell which xdg-open)
6 WHICH_OPEN=$(shell which open)
7 BROWSER_DEFAULT = $(if $(WHICH_XDG_OPEN), xdg-open)
8 BROWSER_DEFAULT := $(if $(BROWSER_DEFAULT), $(BROWSER_DEFAULT), open)
9 BROWSER?=$(BROWSER_DEFAULT)
10
11 help:
12 @echo 'Targets:'
13 @echo ' help - Show this help.'
14 @echo ' docs - Generate docs for webserver deployment.'
15 @echo ' localdocs - Generate docs for local viewing.'
16 @echo ' opendocs - Open documentation in the browser remaking it if necessary.'
17 @echo ''
18 @echo 'Variables:'
19 @echo ' JULIA - Controls which command is used to run julia'
20 @echo ' Default $(JULIA_DEFAULT)'
21 @echo ' BROWSER - Sets the command for how to open html files'
22 @echo ' Default: xdg-open if it exists otherwise open'
23 @echo ''
24 @echo 'Variables can be set on the commandline using the -e flag for make, e.g.'
25 @echo ' make localdocs -e JULIA=path/to/julia'
26 @echo 'or as shell environment variables.'
27
28 docs: docs/build
29
30 localdocs: docs/build-local
31
32 opendocs: localdocs
33 $(BROWSER) docs/build-local/index.html
34
35 clean:
36 rm -rf docs/build
37 rm -rf docs/build-local
38
39 .PHONY: help docs localdocs opendocs clean
40
41 SRC_DIRS = src docs/src
42 SRC_FILES_AND_DIRS = $(foreach dir,$(SRC_DIRS),$(shell find $(dir)))
43 DEP_IGNORE = %/.DS_Store
44 DOCS_DEPENDENCIES = docs/make.jl $(filter-out $(DEP_IGNORE),$(SRC_FILES_AND_DIRS))
45 docs/build: $(DOCS_DEPENDENCIES)
46 $(JULIA) --project=docs docs/make.jl --build-dir build --prettyurls
47
48 docs/build-local: $(DOCS_DEPENDENCIES)
49 $(JULIA) --project=docs docs/make.jl --build-dir build-local
50
51
52 .PHONY: temp
53 temp:
54 @echo $(SRC_FILES_AND_DIRS)