--- /dev/null
+This is Debian packaging of the Hercules compiler provided by ETHZ.
+
+Compiling the compiler manually
+===============================
+
+To compile the compiler, without creating the Debian package, run:
+
+ apt install quilt cmake ninja-build python3
+
+ git submodule update --init
+ export QUILT_PATCHES=debian/patches
+ export QUILT_REFRESH_ARGS="-p ab --no-timestamps --no-index"
+ quilt push -a
+
+ make
+ make install
+
+This will install the compiler and related stuff into
+~/opt/hercules-compiler.
+
+Creating Debian packages
+========================
+
+A simple method to create the debian package is the following:
+
+ apt install build-essential cmake ninja-build python3
+ make create-orig-tgz
+ dpkg-buildpackage -uc -us
+
+To create the package for different distribution and/or architecture
+sbuild is recommended. Setup the sbuild chroot as documented at
+https://wiki.debian.org/sbuild. Then run:
+
+ make create-orig-tgz
+ sbuild
+
+To cross-build the package for different architecture, first install
+qemu-user-static to both your host system and the build chroot:
+
+ sudo apt-get install qemu-user-static
+ sbuild-apt <chroot-name> apt-get install qemu-user-static
+
+Then build the package:
+
+ make create-orig-tgz
+ sbuild --host=arm64