aboutsummaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Collapse)Author
2022-10-29[builder][server][proxy] add `reuse-lint` Makefile ruleWojtek Kosior
2022-10-28[proxy] make it possible to export embedded documentation as standalone ↵Wojtek Kosior
.html files and include these in the binary release tarball
2022-10-19[builder][server][proxy] for make targets that spawn a shell, modify bash ↵Wojtek Kosior
prompt to indicate the enviroment is active
2022-10-18[builder][server][proxy] facilitate running mypy linter through MakefileWojtek Kosior
2022-10-18[builder][server][proxy] make generated tarballs reproducibleWojtek Kosior
2022-10-17[builder][server][proxy] orchestrate Guix-powered development with a MakefileWojtek Kosior
* We're no longer treating builds from git and builds from release tarball differently. We now generate a source tarball under `./dist/` in both cases. * We're now using `guix time-machine` to ensure we're always running a Guix revision that works.