htfpp was not in the path. To find how to alter the path, one looks in the ~/.cabal folder for a config file and finds where cabal installs binaries by default. That directory needs to be added to the path, or the installed binary needs to be moved from there to a directory that is in the path. Then GHC can run it with the -pgmF flag.
community-wiki answer for posterity:
htfpp
was not in the path. To find how to alter the path, one looks in the~/.cabal
folder for aconfig
file and finds where cabal installs binaries by default. That directory needs to be added to the path, or the installed binary needs to be moved from there to a directory that is in the path. Then GHC can run it with the-pgmF
flag.