-
Notifications
You must be signed in to change notification settings - Fork 2
/
Makefile
73 lines (56 loc) · 2.17 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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
# ----------------------------------------------------------------------
# Robocup@Home ROS Noetic Docker Development
# ----------------------------------------------------------------------
#: Builds a Docker image with the corresponding Dockerfile file
# ----------------------------BUILD------------------------------------
# ---------Main----------
# No GPU
main.build:
@./docker/scripts/build.bash --area=main
# CUDA 11.8 x86_64
main.build.cuda:
@./docker/scripts/build.bash --area=main --use-cuda
# Jetson devices
main.build.jetson:
@./docker/scripts/build.bash --area=main --jetson-l4t=35.4.1
# ----------------------------CREATE------------------------------------
main.create:
@./docker/scripts/run.bash --area=main --volumes=$(volumes) --name=$(name)
main.create.cuda:
@./docker/scripts/run.bash --area=main --use-cuda --volumes=$(volumes) --name=$(name)
# For jetpack version 35.4.1, jetson images are special in the sense that they are specific to the jetpack version
main.create.jetson:
@./docker/scripts/run.bash --area=main --jetson-l4t=35.4.1 --volumes=$(volumes) --name=$(name)
# ----------------------------START------------------------------------
# Start containers
main.up:
@xhost +
@docker start home-main
# ----------------------------STOP------------------------------------
# Stop containers
main.down:
@docker stop home-main
# ----------------------------RESTART------------------------------------
# Restart containers
main.restart:
@docker restart home-main
# ----------------------------LOGS------------------------------------
# Logs of the container
main.logs:
@docker logs --tail 50 home-main
# ----------------------------SHELL------------------------------------
# Fires up a bash session inside the container
main.shell:
@docker exec -it --user $(shell id -u):$(shell id -g) home-main bash
# ----------------------------REMOVE------------------------------------
# Remove container
main.remove:
@docker container rm home-main
# ----------------------------------------------------------------------
# General Docker Utilities
#: Show a list of images.
list-images:
@docker image ls
#: Show a list of containers.
list-containers:
@docker container ls -as