https://github.com/daringer/heads-builder
Simple Docker-based HEADS building
https://github.com/daringer/heads-builder
Last synced: 5 months ago
JSON representation
Simple Docker-based HEADS building
- Host: GitHub
- URL: https://github.com/daringer/heads-builder
- Owner: daringer
- Created: 2021-01-08T18:55:46.000Z (over 5 years ago)
- Default Branch: main
- Last Pushed: 2023-04-04T00:19:31.000Z (about 3 years ago)
- Last Synced: 2025-06-06T03:08:55.836Z (about 1 year ago)
- Language: Makefile
- Size: 8.79 KB
- Stars: 3
- Watchers: 2
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# heads-builder - Simple Docker-based HEADS building
The following stuff can be done using this micro-repository.
* get a heads checkout
```
make get-heads
```
* build the docker image used for building (make sure your docker daemon is up and running)
```
make image
```
* change into the heads-builder docker and build heads
```
make
# you will end inside the docker
cd /heads
make BOARD=the_board_you_would_like_to_build_for
```
The `Makefile` is able to support multiple HEADS builds,
simply pass `HEADSDIR=yourworkdir` to the `make` call (default is `wdir1`).
An example (assuming you have already created the image using `make image`)
```
make get-heads HEADSDIR=my_other_workdir
make HEADSDIR=my_other_workdir
# you will end up inside the container. To build:
cd /heads
make BOARD=my_fancy_board
```