( "excess-precision", Opt_ExcessPrecision ),
( "asm-mangling", Opt_DoAsmMangling ),
( "print-bind-result", Opt_PrintBindResult ),
- ( "force-recomp", Opt_ForceRecomp ),
- ( "hpc", Opt_Hpc ),
- ( "hpc-tracer", Opt_Hpc_Tracer )
+#if defined(GHCI) && defined(DEBUGGER)
+ ( "debugging", Opt_Debugging),
+#endif
+ ( "force-recomp", Opt_ForceRecomp )
]