To compile the ADT tool unpack the tarball and type make. There are a few warnings about missing previous declarations but these can be ignored.
The last step of the compilation runs adt on its own specification
and compares the output to that provided in the tar ball. There should
not be any differences for the test.
adt has been tested under Linux and cygwin. For MacOS change -lfl to -ll in the Makefile.
For details see: Pieter H. Hartel and Henk L. Muller (2011), Simple algebraic data types for C, Software: Practice and Experience, 42(2):191-210, https://doi.org/10.1002/spe.1058