Fork of Arch Linux devtools from https://git.archlinux.org/devtools.git
dacde204c9
Use the recorded buildtool in order to download the matching dist package and use the appropriate makepkg.conf for reproducing the package. This is required as the flags are not recorded in the BUILDINFO hence we need to provide the matching config that declared those flags. |
||
|---|---|---|
| .github/workflows | ||
| doc | ||
| lib | ||
| .gitignore | ||
| LICENSE | ||
| Makefile | ||
| PKGBUILD.proto | ||
| README.md | ||
| arch-nspawn.in | ||
| archbuild.in | ||
| archco.in | ||
| archrelease.in | ||
| bash_completion.in | ||
| checkpkg.in | ||
| commitpkg.in | ||
| crossrepomove.in | ||
| find-libdeps.in | ||
| finddeps.in | ||
| lddd.in | ||
| makechrootpkg.in | ||
| makepkg-x86_64.conf | ||
| makerepropkg.in | ||
| mkarchroot.in | ||
| offload-build.in | ||
| pacman-extra.conf | ||
| pacman-gnome-unstable.conf | ||
| pacman-kde-unstable.conf | ||
| pacman-multilib-staging.conf | ||
| pacman-multilib-testing.conf | ||
| pacman-multilib.conf | ||
| pacman-staging.conf | ||
| pacman-testing.conf | ||
| rebuildpkgs.in | ||
| sogrep.in | ||
| zsh_completion.in | ||
README.md
Devtools - development tools for Arch Linux
This repository contains tools for the Arch Linux distribution for building and maintaining official repository packages.
Patches
Patches can be send to arch-projects@archlinux.org or via a pull request on Github. When sending patches to the mailing list make sure to set a valid subjectprefix otherwise the email is denied by mailman. Git can be configured as following.
git config format.subjectprefix 'devtools] [PATCH'
Building
When building official distro packages the BUILDTOOLVER needs to be set to the
exact label of the release package in order to allow to detect the exactly used
devtools version. This is required for reproducible builds to fetch the according
files like makepkg.conf.
BUILDTOOLVER="${pkgver}-${pkgrel}-${arch}" make all
Releasing
- bump the version in the Makefile
- Commit everything as
Version $(date +"%Y%m%d") - Create a new tag
git tag -s $(date +"%Y%m%d") - Push changes
- Upload the source tarball with
make dist upload - Update the package
License
Devtools is licensed under the terms of the GPL-3.0-or-later (see LICENSE).