forked from Project-CETI/whale-tag-recovery
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathMakefile
56 lines (40 loc) · 1.01 KB
/
Makefile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
native:
/bin/zsh -c "cmake -B build/ && cd build/ && make -j4"
#
# Pico
#
pico-image:
docker build -t cetisdoc/dev\:rp2040 -f $(shell pwd)/docker/pico/Picofile $(shell pwd)/docker/pico
pico-dev:
docker run --rm -v $(shell pwd)\:/project cetisdock/dev\:rp2040
sudo chown -R $(shell id -u)\:$(shell id -g) build
pico-dbg:
docker run --rm -itp 80\:80 -v $(shell pwd)\:/project --name dev-debug-pico cetisdock/dev\:rp2040 bash
pico:
$(MAKE) pico-dev || $(MAKE) pico-image pico-dev
clean-pico:
docker rmi cetisdock/dev\:rp2040
clean-dev:
rm -r build/
#
# Docs
#
docs-image:
docker build -t cetisdock/docs\:recovery -f $(shell pwd)/docker/docs/Docsfile .
docs-server:
docker run --rm -dp 8080\:80 --name ceti-docs cetisdock/docs\:recovery
docs:
$(MAKE) docs-server || $(MAKE) docs-image docs-server
stop-docs:
-docker kill ceti-docs
clean-docs: stop-docs
docker rmi cetisdock/docs\:recovery
#
# Clean globs
#
clean-docker: clean-pico clean-docs
clean: clean-dev clean-docker
#
# All target glob
#
all: pico docs