Martchus
/
devtools
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Fork of Arch Linux devtools from https://git.archlinux.org/devtools.git
981 Commits 16 Branches 0 Tags 1.5 MiB
Shell 94.6%
Makefile 5.4%
Go to file
Levente Polyak a8be7423ef
pkgctl: add a unified command-line frontend for devtools 
This is the first step of a simple and highly structured unified
interface to devtools commands in a single wrapper.

The split is based on groups like `repo`, `build` and `diff`

Signed-off-by: Levente Polyak <anthraxx@archlinux.org>
 		2023-05-19 22:27:12 +02:00
config makepkg.conf: enable rust debuginfo 2023-01-03 23:23:43 +01:00
contrib pkgctl: add a unified command-line frontend for devtools 2023-05-19 22:27:12 +02:00
doc pkgctl: add a unified command-line frontend for devtools 2023-05-19 22:27:12 +02:00
lib commitpkg: use library location for common server and remote properties 2023-05-19 22:27:12 +02:00
src pkgctl: add a unified command-line frontend for devtools 2023-05-19 22:27:12 +02:00
.gitignore make: use build dir as target instead of polluting root workdir 2022-06-22 01:05:02 +02:00
.gitlab-ci.yml build: enable gitlab-ci 2022-04-28 19:10:59 +02:00
LICENSE Add GPL-3.0 license file 2021-10-29 09:16:05 +02:00
Makefile crossrepomove: drop support as this is not needed anymore 2023-03-19 22:02:04 +01:00
README.md doc: update links and references after moving to GitLab 2022-06-22 01:05:03 +02:00

README.md

Devtools - development tools for Arch Linux

This repository contains tools for the Arch Linux distribution for building and maintaining official repository packages.

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

  1. bump the version in the Makefile
  2. Commit everything as Version $(date +"%Y%m%d")
  3. Create a new tag git tag -s $(date +"%Y%m%d")
  4. Push changes
  5. Upload the source tarball with make dist upload
  6. Update the package

License

Devtools is licensed under the terms of the GPL-3.0-or-later (see LICENSE).