• Home
Name Date Size #Lines LOC

..--

rustup/03-May-2024-868665

DockerfileD03-May-20242.1 KiB8072

README.mdD03-May-2024987 2417

build-in-podman.pyD03-May-20247 KiB189128

llvm-rename.shD03-May-20244.3 KiB5847

podman-build-image.pyD03-May-20245.3 KiB14992

README.md

1# Podman build for Floss
2
3This repo contains the Podman image build rule, used to generate the Podman
4image necessary to build Floss. If building a new Podman image, run
5`podman-build-image.py` with the tag `floss:latest`.
6
7## Using the podman image to build
8
9Once the Podman image is built (and assuming it's tagged as `floss:latest`), you
10should use the `build-in-podman.py` script to build the current repo.
11
12This script will use the local `floss:latest` (or pull it from the registry),
13mount (or create) the `floss-out` volume to `/root/.floss` and the current
14source to `/root/src` before running these commands in the container:
15
16* `cd /root/src`
17* `./build.py --run-bootstrap`
18* `./build.py --libdir=/usr/lib/x86-64_linux_gnu/`
19
20If you want to run the build more quickly (or pass other commands), run
21`build-in-podman.py --only-start`. This will only start the container for you
22(doing the correct mounts) and will print the commands it would have run via
23`podman exec` normally.
24