--configure-option and --ghc-option are now provided by Cabal
drwxr-xr-x - Control
-rw-r--r-- 1611 LICENSE
-rw-r--r-- 87 Setup.hs
-rw-r--r-- 77 prologue.txt
-rw-r--r-- 523 stm.cabal
drwxr-xr-x - tests