- Bool) -- enable shell wrappers?
-parseArgs = f normal defaultDistPref False
- where f v dp esw (('-':'v':val):args)
- = f (readEOrFail flagToVerbosity val) dp esw args
- f v _ esw ("--distpref":dp:args) = f v dp esw args
- f v dp _ ("--enable-shell-wrappers":args) = f v dp True args
- f v dp esw [] = (v, dp, esw)
- f _ _ _ args = error ("Bad arguments: " ++ show args)
+ Bool, -- enable shell wrappers?
+ Bool) -- strip exe?
+parseArgs = f normal defaultDistPref False True
+ where f v dp esw strip (('-':'v':val):args)
+ = f (readEOrFail flagToVerbosity val) dp esw strip args
+ f v _ esw strip ("--distpref":dp:args) = f v dp esw strip args
+ f v dp _ strip ("--enable-shell-wrappers":args) = f v dp True strip args
+ f v dp esw strip ("--disable-executable-stripping":args) = f v dp esw False args
+ f v dp esw strip [] = (v, dp, esw, strip)
+ f _ _ _ _ args = error ("Bad arguments: " ++ show args)