diff --git a/default.nix b/default.nix index eb0154a..c483be8 100644 --- a/default.nix +++ b/default.nix @@ -9,6 +9,15 @@ , doTracing ? false , doOptimize ? false # enables GHC optimizations for production use , doStrict ? false +, doJailbreak ? false +, enableSharedExecutables ? true +, enableSharedLibraries ? true +, enableStaticLibraries ? false +, enableDeadCodeElimination ? true +, doHyperlinkSource ? false +, doStrip ? false +, justStaticExecutables ? false +, allowInconsistentDependencies ? false , withHoogle ? true