Building packages on Debian 10 is not yet supported. You must use Debian 9 to build packages.
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 initial 1908 release is based on Debian 9 so you will need a Debian 9 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 installed.
Add the Debian repos and signing keys for the given DANOS Release
$ sudo tee /etc/apt/sources.list.d/danos.list << EOF
deb http://s3-us-west-1.amazonaws.com/repos.danosproject.org/standard/ 1908 main
deb http://s3-us-west-1.amazonaws.com/repos.danosproject.org/bootstrap/ 1908 main
$ wget -q -O- https://s3-us-west-1.amazonaws.com/repos.danosproject.org/Release.key | sudo apt-key add -