-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathEarthfile
74 lines (67 loc) · 2.9 KB
/
Earthfile
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
74
# Copyright 2024 Ekumen, Inc.
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
VERSION 0.8
IMPORT ./src/external/os AS os
ARG --global components="core/lambkin-shepherd core/lambkin-clerk external/ros2 external/typesetting/latex external/profiling/timemory"
embed-ubuntu-devel:
ARG distro
ARG rosdistro # forward
FROM os+ubuntu --distro=${distro}
FOR component IN ${components}
MERGE os+ubuntu.../src/${component}+embed-ubuntu-devel --distro=${distro} --rosdistro=${rosdistro}
END
RUN echo "echo 'Logged into development environment for ${components} on Ubuntu: ${distro}'" > /etc/profile.d/banner.sh
embed-ubuntu-release:
ARG distro
ARG rosdistro # forward
FROM os+ubuntu --distro=${distro}
FOR component IN ${components}
MERGE os+ubuntu.../src/${component}+embed-ubuntu-release --distro=${distro} --rosdistro=${rosdistro}
END
ubuntu-devel:
ARG user=lambkin
ARG uid=1000
ARG gid=1000
ARG distro=jammy
ARG rodistro # forward
ARG tag=ubuntu-${distro}-dev
FROM +embed-ubuntu-devel --distro=${distro} --rosdistro=${rosdistro}
DO os+ADDUSER --user=${user} --uid=${uid} --gid=${gid} --workdir=/workspace
SAVE IMAGE ekumenlabs/lambkin:${tag} ekumenlabs/lambkin:dev
local-ubuntu-devel:
LOCALLY
ARG distro=jammy
ARG rosdistro # forward
LET user="$(whoami)"
LET uid="$(id -u)"
LET gid="$(id -g)"
BUILD +ubuntu-devel --distro=${distro} --rosdistro=${rosdistro} \
--user=${user} --uid=${uid} --gid=${gid}
ubuntu-release:
ARG distro=jammy
ARG rosdistro # forward
ARG tag=ubuntu-${distro}
FROM +embed-ubuntu-release --distro=${distro} --rosdistro=${rosdistro}
ARG EARTHLY_GIT_BRANCH
ARG EARTHLY_GIT_HASH
LABEL "org.opencontainers.image.ref.name"="${EARTHLY_GIT_BRANCH}"
LABEL "org.opencontainers.image.version"="${tag}"
LABEL "org.opencontainers.image.title"="LAMBKIN"
LABEL "org.opencontainers.image.description"="Localization And Mapping BenchmarKINg toolkit release, bundling ${components} components"
LABEL "org.opencontainers.image.revision"="${EARTHLY_GIT_HASH}"
LABEL "org.opencontainers.image.source"="https://github.com/ekumenlabs/lambkin"
LABEL "org.opencontainers.image.base.name"="ubuntu:${distro}"
LABEL "org.opencontainers.image.vendor"="Ekumen, Inc."
LABEL "org.opencontainers.image.licenses"="Apache-2.0"
SAVE IMAGE ekumenlabs/lambkin:${tag}