This article describes the general procedure for building DANOS packages from source. Packages must be built on a Debian host that corresponds to the version of Debian for the given DANOS release. The 2005 release is based on Debian 10 so you will need a Debian 10 environment of some kind to get started. The particular flavor of Debian environment is up to you, VM, container, chroot, etc.
These instructions have been automated using a Docker based environment in the following tool https://github.com/jsouthworth/danos-buildpackage. If you have Docker installed this tool may be run from the root of a package directory to build the package. It supports advanced build modes such as building against other local packages that have previously been built. Binaries for Linux (.elf), macOS (.mach-o), and Windows 10 (.exe) are available in the Releases tab for the tool.
Setup a Debian environment for development with the “devscripts” package from buster-backports installed.
$ apt-get -y install devscripts
Add the Debian repos and signing keys for the given DANOS Release
$ sudo tee /etc/apt/sources.list.d/danos.list << EOF
deb http://repos.danosproject.org.s3-website-us-west-1.amazonaws.com/repo/ 2005 main
$ wget -q -O- https://s3-us-west-1.amazonaws.com/repos.danosproject.org/Release.key | sudo apt-key add -
Use ‘apt-get update’ to update the package cache
$ sudo apt-get update
Configure required package pinning priorities so that DANOS package are preferred over Debian packages